linux/drivers/reset/tegra/Kconfig