# NMI hardware debugging.
kernel.nmi_watchdog = 0