[coreboot] Patch merged into coreboot/master: bef68df Fix libpayload alloc() size and gcc pointer optimization problems.