[coreboot] MMIO UART driver on OS