[coreboot-gerrit] New patch to review for coreboot: 30ce0db AMD/SB800: Define the GPP PCIe lane distribution