[coreboot-gerrit] Patch merged into coreboot/master: b0747db OxPCIe uart: Split PCI bridge control