build_kernel_image: enable nmi watchdog

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
 
 . "$(dirname "$0")/common.sh"
 
@@ skipping 128 matching lines @@
 rootwait
 ro
 noresume
 noswap
 i915.modeset=1
 loglevel=1
 cros_secure
 kern_guid=%U
 tpm_tis.force=1
 tpm_tis.interrupts=0
+nmi_watchdog=1
 EOF
   WORK="${WORK} ${FLAGS_working_dir}/config.txt"
 
   # We sign the image with the recovery_key, because this is what goes onto the
   # USB key. We can only boot from the USB drive in recovery mode.
   # For dev install shim, we need to use the installer keyblock instead of
   # the recovery keyblock because of the difference in flags.
   if [ ${FLAGS_use_dev_keys} -eq ${FLAGS_TRUE} ]; then
     USB_KEYBLOCK=installer_kernel.keyblock
     info "DEBUG: use dev install signing key"
@@ skipping 92 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