[PATCH v2 09/16] x86: coreboot: Use a memory-mapped UART