# CONFIG_SERIAL_MPS2_UART is not set