kernelconfig_penguin
CONFIG_ARM64_PSEUDO_NMI is not available for the default architecture x86.
Result is shown for architecture arm64

Support for NMI-like interrupts

configname: CONFIG_ARM64_PSEUDO_NMI

Linux Kernel Configuration
└─> Kernel Features
└─> Support for NMI-like interrupts

Adds support for mimicking Non-Maskable Interrupts through the use of
GIC interrupt priority. This support requires version 3 or later of
ARM GIC.

This high priority configuration for interrupts needs to be
explicitly enabled by setting the kernel parameter
"irqchip.gicv3_pseudo_nmi" to 1.

If unsure, say N