review.coreboot.org / coreboot / d40be1107c27417cb4e08d25ddcca54049d4f7a0 / src / soc / nvidia / tegra124 / soc.c