[coreboot] Patch set updated for coreboot: 624c4fe Add support for aligned allocation