kernel/baseconfig/CONFIG_SERIAL_ALTERA_UART