[coreboot-gerrit] Patch set updated for coreboot: intelmetool: Add the X99 ISA Bridge device id