[coreboot-gerrit] Patch merged into coreboot/master: 8932f11 tegra124: Make tegra124 compilable with serial turned off.