Disable the 8042 MUX on our x86 devices.

build_kernel_image.sh

 #!/bin/bash
 
 # Copyright (c) 2010 The Chromium OS Authors. All rights reserved.
 # Use of this source code is governed by a BSD-style license that can be
 # found in the LICENSE file.
 
 # Helper script that generates the signed kernel image
 
 # --- BEGIN COMMON.SH BOILERPLATE ---
 # Load common CrOS utilities.  Inside the chroot this file is installed in
@@ skipping 150 matching lines @@
 add_efi_memmap
 boot=local
 noresume
 noswap
 i915.modeset=1
 cros_secure
 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"
 
   bootloader_path="/lib64/bootstub/bootstub.efi"
   kernel_image="${FLAGS_vmlinuz}"
 
   sign_the_kernel=${FLAGS_TRUE}
 elif [[ "${FLAGS_arch}" = "arm" ]]; then
   cp "${FLAGS_working_dir}/boot.config" "${FLAGS_working_dir}/config.txt"
   WORK="${WORK} ${FLAGS_working_dir}/config.txt"
@@ skipping 110 matching lines @@
   info "Cleaning up temporary files: ${WORK}"
   rm ${WORK}
   rmdir ${FLAGS_working_dir}
 fi
 
 info "Kernel partition image emitted: ${FLAGS_to}"
 
 if [[ -f ${FLAGS_rootfs_hash} ]]; then
   info "Root filesystem hash emitted: ${FLAGS_rootfs_hash}"
 fi