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