diff --git a/config.cmake b/config.cmake
index 916d83c51..6d972430c 100644
--- a/config.cmake
+++ b/config.cmake
@@ -28,6 +28,8 @@ if(KernelVerificationBuild)
     set(force CLEAR)
 endif()
 mark_as_advanced(${force} CSPEC_DIR SKIP_MODIFIES TOPLEVELTYPES SORRY_BITFIELD_PROOFS UMM_TYPES)
+# Use a custom target for collecting information during generation that we need during build
+add_custom_target(kernel_config_target)
 
 ########################
 # Architecture selection