[PATCH v3 10/16] x86: coreboot: Document how to enable the debug UART