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