[coreboot-gerrit] Patch set updated for coreboot: a8b8835 AMD Inagua: PlatformGnbPcie.c: Allocate exact needed size for buffer