if TARGET_KUP4K
config SYS_BOARD
default "kup4k"
config SYS_VENDOR
default "kup"
config SYS_CONFIG_NAME
default "KUP4K"
endif