[coreboot-gerrit] Patch merged into coreboot/master: a7e2cc5 mainboard/jetway/nf81-t56n-lf: Toggle WDT and CIR in devicetree.cb