[coreboot-gerrit] Patch merged into coreboot/master: e97b683 tegra: Change how tegra124 and tegra include files from each other.