[coreboot-gerrit] Patch set updated for coreboot: a24de45 AGESA boards: Use devicetree for PCI bus enumeration