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