if TARGET_NOKIA_RX51
config SYS_BOARD
default "rx51"
config SYS_VENDOR
default "nokia"
config SYS_CONFIG_NAME
default "nokia_rx51"
endif