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