[coreboot-gerrit] New patch to review for coreboot: 55f9c6e inteltool/inteltool.c: Prepend hexadecimal values with `0x`