[coreboot-gerrit] Patch merged into coreboot/master: 59ebc6e tegra124: Add stack related config options to the Kconfig.