[coreboot-gerrit] [S] Change in coreboot[main]: sb/intel/bd82x6x: Use helper for PCIe hotplug