CONFIG_SPL=y
  CONFIG_SYS_EXTRA_OPTIONS="SERIAL1,CONS_INDEX=1"
  CONFIG_ARM=y
  CONFIG_TARGET_KWB=y
  # CONFIG_CMD_CRC32 is not set