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