# CONFIG_SERIAL_XILINX_PS_UART is not set