# CONFIG_ARM_VIRT_EXT is not set