CONFIG_ARM=y
CONFIG_TARGET_MX35PDK=y