if TARGET_MX25PDK
config SYS_BOARD
default "mx25pdk"
config SYS_VENDOR
default "freescale"
config SYS_SOC
default "mx25"
config SYS_CONFIG_NAME
endif