Disable the 8042 MUX on our x86 devices.

The use of the mux can cause issues with some EC 8042 controllers and
result in loss of keyboard/trackpad between suspend/resume/reboot cycles.
We will never have more than keyboard+trackpad attached through the 8042
on our devices so using the mux is unnecessary.

BUG=chrome-os-partner:2726
TEST=manual verification that mux is not probed at boot:

Original:
serio: i8042 KBD port at 0x60,0x64 irq 1
serio: i8042 AUX0 port at 0x60,0x64 irq 12
serio: i8042 AUX1 port at 0x60,0x64 irq 12
serio: i8042 AUX2 port at 0x60,0x64 irq 12
serio: i8042 AUX3 port at 0x60,0x64 irq 12

New:
serio: i8042 KBD port at 0x60,0x64 irq 1
serio: i8042 AUX port at 0x60,0x64 irq 12

Change-Id: I942ab86eb71941ab072ad6a17d15b067ca94439d

Review URL: http://codereview.chromium.org/6679031
(cherry picked from commit 4deda9c24f1deb015946c709d1d3d11f1c0e2325)

Review URL: http://codereview.chromium.org/6686028
diff --git a/build_kernel_image.sh b/build_kernel_image.sh
index 5ee3e30..6f87ebe 100755
--- a/build_kernel_image.sh
+++ b/build_kernel_image.sh
@@ -168,6 +168,7 @@
 tpm_tis.force=1
 tpm_tis.interrupts=0
 nmi_watchdog=panic,lapic
+i8042.nomux=1
 EOF
   WORK="${WORK} ${FLAGS_working_dir}/config.txt"