[coreboot-gerrit] Patch set updated for coreboot: 8af6cf0 util/bimgtool: Use CRC 16 instead of CRC x25.