arm: Alias arm_hyp to aarch32

arm_hyp is the same as aarch32 + hypervisor mode. This prepares when
arm_hyp is removed as a valid setting for KernelSel4Arch.

Signed-off-by: Kent McLeod <kent@kry10.com>

Author: kent-mcleod

apps/sel4test-tests/CMakeLists.txt

@@ -28,9 +28,15 @@ file(
 )
 
 add_executable(sel4test-tests EXCLUDE_FROM_ALL ${deps})
+# special handling for "arm_hyp", it's really "aarch32"
+set(_inc_folder_KernelSel4Arch "${KernelSel4Arch}")
+if("${KernelSel4Arch}" STREQUAL "arm_hyp")
+    set(_inc_folder_KernelSel4Arch "aarch32")
+endif()
+
 target_include_directories(
     sel4test-tests
-    PRIVATE include arch/${KernelArch} sel4_arch/${KernelSel4Arch}
+    PRIVATE include arch/${KernelArch} sel4_arch/${_inc_folder_KernelSel4Arch}
 )
 
 target_link_libraries(