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