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