TARGET_ARM=y
CONFIG_VIRT=y
CONFIG_VERSATILEPB=y