[coreboot] Patch merged into coreboot/master: fd6fdfa make GPIOs and misc configurable via devicetree