kernelconfig_penguin
CONFIG_ARC_HAS_PAE40 is not available for the default architecture x86.
Result is shown for architecture arc

Support for the 40-bit Physical Address Extension

configname: CONFIG_ARC_HAS_PAE40

Linux Kernel Configuration
└─> ARC Architecture Configuration
└─> Support for the 40-bit Physical Address Extension

Enable access to physical memory beyond 4G, only supported on
ARC cores with 40 bit Physical Addressing support