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