[coreboot-gerrit] Patch merged into coreboot/master: 70d4b52 gizmosphere/gizmo: Change the PCIe GPP to two x1 ports