CONFIG_ARM=y
CONFIG_TARGET_VCMA9=y