Re: [PATCH 10/13] x86: coreboot: Document how to enable the debug UART