[coreboot] Patch merged into coreboot/master: 509f772 WIP: Add support for non-8250 built-in UARTs