if TARGET_MX51EVK config SYS_CPU default "armv7" config SYS_BOARD default "mx51evk" config SYS_VENDOR default "freescale" config SYS_SOC default "mx5" config SYS_CONFIG_NAME default "mx51evk" endif