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