diff --git a/config.cmake b/config.cmake
index 30e7f624d..8a15d4f80 100644
--- a/config.cmake
+++ b/config.cmake
@@ -521,7 +521,7 @@ config_option(
     Useful for profiling."
     DEFAULT OFF
     DEPENDS
-        "NOT KernelARMHypervisorSupport;NOT KernelVerificationBuild;NOT KernelPlatformHikey;NOT KernelSkimWindow"
+        "NOT KernelArmHypervisorSupport;NOT KernelVerificationBuild;NOT KernelPlatformHikey;NOT KernelSkimWindow"
 )
 
 config_option(