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