[coreboot-gerrit] New patch to review for coreboot: 45a346f inteltool: Cast to `ptrdiff_t` instead of `uint64_t`