ARM: armv7: move ARMV7_PSCI_NR_CPUS to Kconfig
[platform/kernel/u-boot.git] / include / configs / jetson-tk1.h
index 2b172a5..7c59790 100644 (file)
@@ -60,8 +60,6 @@
 #include "tegra-common-usb-gadget.h"
 #include "tegra-common-post.h"
 
-#define CONFIG_ARMV7_PSCI                      1
-#define CONFIG_ARMV7_PSCI_NR_CPUS              4
 /* Reserve top 1M for secure RAM */
 #define CONFIG_ARMV7_SECURE_BASE               0xfff00000
 #define CONFIG_ARMV7_SECURE_RESERVE_SIZE       0x00100000