[coreboot] Patch set updated for coreboot: 725a62c Add faster, architecture dependent memcpy()