[coreboot] Patch set updated for coreboot: 6c1769b make GPIOs and misc configurable via devicetree