CONFIG_XTENSA=y
CONFIG_XTENSA_VARIANT_DC232B=y
CONFIG_XTENSA_PLATFORM_XTFPGA=y
CONFIG_SERIAL_CONSOLE=y
CONFIG_SERIAL_8250=y
CONFIG_SERIAL_8250_CONSOLE=y
