[coreboot-gerrit] Patch merged into coreboot/master: bbe3e44 mainboard/jetway/nf81-t56n-lf: Properly indent devicetree.cb