if TARGET_MX31PDK config SYS_CPU string default "arm1136" config SYS_BOARD string default "mx31pdk" config SYS_VENDOR string default "freescale" config SYS_SOC string default "mx31" config SYS_CONFIG_NAME string default "mx31pdk" endif