Seems those two fell under the table. So I'm resending, rebased over current 4.3-rc2, resolving a conflict of patch 1. Jan Jan Kiszka (2): ARM: Availability of psci_smp_available depends on CONFIG_SMP ARM: tegra: Disable cpuidle driver if PSCI is present arch/arm/include/asm/psci.h | 2 +- arch/arm/mach-tegra/Kconfig | 1 + arch/arm/mach-tegra/tegra.c | 4 +++- 3 files changed, 5 insertions(+), 2 deletions(-) -- 2.1.4 -- To unsubscribe from this list: send the line "unsubscribe linux-tegra" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html