CONFIG_ARM64_NMI=y
