[coreboot-gerrit] Patch set updated for coreboot: c1fb1f2 inteltool: pcie.c: Use `0xffULL` instead of `0xff` to avoid shift overflow