diff --git a/build_kernel_image.sh b/build_kernel_image.sh
index 6f87ebe72b..5ee3e305a3 100755
--- a/build_kernel_image.sh
+++ b/build_kernel_image.sh
@@ -168,7 +168,6 @@ 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"