# CONFIG_ARM64_VA_BITS_47 is not set
