# CONFIG_DEBUG_NMI_SELFTEST is not set