arm/evl: move Kconfig switch to kernel features section

Signed-off-by: Philippe Gerum <rpm@xenomai.org>

arch/arm/Kconfig

@@ -284,8 +284,6 @@ config PGTABLE_LEVELS
 	default 3 if ARM_LPAE
 	default 2
 
-source "kernel/Kconfig.evl"
-
 menu "System Type"
 
 config MMU
@@ -1249,6 +1247,7 @@ config SCHED_SMT
 	  places. If unsure say N here.
 
 source "kernel/Kconfig.dovetail"
+source "kernel/Kconfig.evl"
 
 config HAVE_ARM_SCU
 	bool