[coreboot-gerrit] Patch merged into coreboot/master: a8db717 inteltool: Use `ll` instead of `l` as the length modifier for `uint64_t`