[coreboot-gerrit] Patch set updated for coreboot: 7848434 jetway/j7f24: Rename to jetway/j7f2.