Comment 14 for bug 139701

To use ec_intr=0 regularly, add it to the end of your "defoptions" line in /boot/grub/menu.1st, so it survives kernel upgrades. Here is an example. Note that the "#" at the beginning of the line is needed.

 # defoptions=quiet splash ec_intr=0

You can check whether or not ec_intr was used during boot via
 dmesg | grep command

which will say something like this:

[ 0.000000] Kernel command line: root=UUID=0b61784e-aec2-4112-b9d7-f1b9b8ee8a52 ro quiet splash ec_intr=0