kernel/configs/base-generic/arm/armv7/CONFIG_ARM_VIRT_EXT