switch ARM_HYP verified config to Exynos5

ARM_HYP_verified.cmake (used for verification target "ARM_HYP") now
targets Exynos5422.

Signed-off-by: Corey Lewis <corey.lewis@unsw.edu.au>

configs/ARM_HYP_verified.cmake

@@ -9,7 +9,8 @@
 include(${CMAKE_CURRENT_LIST_DIR}/../tools/helpers.cmake)
 cmake_script_build_kernel()
 
-set(KernelPlatform "tk1" CACHE STRING "")
+set(KernelPlatform "exynos5" CACHE STRING "")
+set(KernelARMPlatform "exynos5422" CACHE STRING "")
 set(KernelSel4Arch "arm_hyp" CACHE STRING "")
 set(KernelVerificationBuild ON CACHE BOOL "")
 set(KernelIPCBufferLocation "threadID_register" CACHE STRING "")