[coreboot] Patch set updated for coreboot: bef68df Fix libpayload alloc() size and gcc pointer optimization problems.