# CONFIG_SERIAL_ALTERA_JTAGUART is not set