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