CONFIG_ARM=y
CONFIG_TARGET_MX31ADS=y