if TARGET_IPHASE4539
config SYS_BOARD
default "iphase4539"
config SYS_CONFIG_NAME
default "IPHASE4539"
endif