[coreboot-gerrit] Patch set updated for coreboot: a2f7ede inteltool/inteltool.c: Prepend hexadecimal values with `0x`