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