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