# CONFIG_ARM_LPAE is not set