diff --git a/build_kernel_image.sh b/build_kernel_image.sh
index 5ee3e305a3..6f87ebe72b 100755
--- a/build_kernel_image.sh
+++ b/build_kernel_image.sh
@@ -168,6 +168,7 @@ kern_guid=%U
 tpm_tis.force=1
 tpm_tis.interrupts=0
 nmi_watchdog=panic,lapic
+i8042.nomux=1
 EOF
   WORK="${WORK} ${FLAGS_working_dir}/config.txt"