# CONFIG_ARM64_FORCE_52BIT is not set