[coreboot-gerrit] New patch to review for coreboot: 9d0e635 inteltool: pcie.c: Cast `0xff` to `uint64_t` to avoid shift overflow