[coreboot-gerrit] Patch merged into coreboot/master: 08d5a89 tegra124: Implement driver code for the pinmux, pingroup controls, and GPIOs.