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