[coreboot] Patch merged into coreboot/master: 8713588 Fix gcc 4.6.1 breakage of southbridge/amd/sr5650/pcie.c.