[coreboot-gerrit] Patch set updated for coreboot: b7d9261 AMD Brazos/Trinity boards: PlatformGnbPcie.c: Reserve correct amount of memory