[coreboot-gerrit] Patch set updated for coreboot: gru: kevin: configure board GPIOs