# CONFIG_ARM64_VA_BITS_39 is not set