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