[coreboot-gerrit] New patch to review for coreboot: 5f8801a arch/armv7 devicetree: Conditionally have PCI headers