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