cmake: allow FPU on aarch32 verified configuration

"ARM" verification target now includes FPU.

Signed-off-by: Rafal Kolanski <rafal.kolanski@data61.csiro.au>

configs/ARM_verified.cmake

@@ -9,7 +9,9 @@
 include(${CMAKE_CURRENT_LIST_DIR}/../tools/helpers.cmake)
 cmake_script_build_kernel()
 
-set(KernelPlatform "imx6" CACHE STRING "")
+set(KernelPlatform "imx8mm-evk" CACHE STRING "")
+set(KernelSel4Arch "aarch32" CACHE STRING "")
+set(KernelAArch32FPUEnableContextSwitch ON CACHE BOOL "")
 set(KernelVerificationBuild ON CACHE BOOL "")
 set(KernelIPCBufferLocation "threadID_register" CACHE STRING "")
 set(KernelMaxNumNodes "1" CACHE STRING "")

src/arch/arm/config.cmake

@@ -163,7 +163,7 @@ config_option(
         operations in a multithreading environment, instead of relying on \
         software emulation of FPU/VFP from the C library (e.g. mfloat-abi=soft)."
     DEFAULT ON
-    DEPENDS "KernelSel4ArchAarch32;NOT KernelArchArmV6;NOT KernelVerificationBuild"
+    DEPENDS "KernelSel4ArchAarch32;NOT KernelArchArmV6"
     DEFAULT_DISABLED OFF
 )