[coreboot-gerrit] Patch merged into coreboot/master: cdfb462 AGESA boards: Use devicetree for PCI bus enumeration