[coreboot] Patch set updated for coreboot: 37db70f Add back dummy free()