if TARGET_BSC9131RDB
config SYS_BOARD
default "bsc9131rdb"
config SYS_VENDOR
default "freescale"
config SYS_CONFIG_NAME
default "BSC9131RDB"
endif