diff --git a/kernel-riscv64-debug-fedora.config b/kernel-riscv64-debug-fedora.config
index ffc88c72a..1bef343a5 100644
--- a/kernel-riscv64-debug-fedora.config
+++ b/kernel-riscv64-debug-fedora.config
@@ -4562,7 +4562,7 @@ CONFIG_PROC_VMCORE=y
 # CONFIG_PROFILE_ALL_BRANCHES is not set
 # CONFIG_PROFILE_ANNOTATED_BRANCHES is not set
 CONFIG_PROFILING=y
-# CONFIG_PROVE_CXL_LOCKING is not set
+CONFIG_PROVE_CXL_LOCKING=y
 CONFIG_PROVE_LOCKING=y
 CONFIG_PROVE_NVDIMM_LOCKING=y
 # CONFIG_PROVE_RAW_LOCK_NESTING is not set
diff --git a/kernel-riscv64-fedora.config b/kernel-riscv64-fedora.config
index f9079bd0a..a3eb502ae 100644
--- a/kernel-riscv64-fedora.config
+++ b/kernel-riscv64-fedora.config
@@ -4541,7 +4541,7 @@ CONFIG_PROC_VMCORE=y
 # CONFIG_PROFILE_ALL_BRANCHES is not set
 # CONFIG_PROFILE_ANNOTATED_BRANCHES is not set
 CONFIG_PROFILING=y
-# CONFIG_PROVE_CXL_LOCKING is not set
+CONFIG_PROVE_CXL_LOCKING=y
 # CONFIG_PROVE_LOCKING is not set
 CONFIG_PROVE_NVDIMM_LOCKING=y
 # CONFIG_PROVE_RAW_LOCK_NESTING is not set