# CONFIG_SERIAL_UARTLITE is not set