Re: [PATCH 3/4] x86: serial: Add a coreboot serial driver