[coreboot] New patch to review for coreboot: e31e5e0 make GPIOs and misc configurable via devicetree