[coreboot-gerrit] Patch set updated for coreboot: 1999040 tegra: Change how tegra124 and tegra include files from each other.