# CONFIG_SERIAL_ALTERA_UART is not set