[coreboot-gerrit] Patch set updated for coreboot: d0bd522 jetway/nf81-t56n-lf: fix GPIO's