Re: [PATCH v3 03/16] x86: Allow coreboot serial driver to guess the UART