[coreboot-gerrit] Patch merged into coreboot/master: b875e92 jetway/nf81-t56n-lf: Minor corrections to devicetree.cb