# CONFIG_ARM64_PA_BITS_48 is not set
