[coreboot-gerrit] Patch set updated for coreboot: 8293c23 tegra124: Implement driver code for the pinmux, pingroup controls, and GPIOs.