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