[coreboot] ite_enable_serial(SERIAL_DEV, CONFIG_TTYS0_BASE); ?