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