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