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