[coreboot-gerrit] Patch set updated for coreboot: e51d92a mainboard/jetway/nf81-t56n-lf: Toggle GPIO, WDT, CIR in devicetree.cb.