[coreboot-gerrit] Patch set updated for coreboot: 830d213 inteltool: Cast to `intptr_t` instead of `uint64_t`