x86: serial: Add a coreboot serial driver