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