Config fixes

Signed-off-by: Justin M. Forbes <jforbes@fedoraproject.org>

14 files changed, 14 insertions, 8 deletions

diff --git a/kernel-armv7hl-debug-fedora.config b/kernel-armv7hl-debug-fedora.config
index 070c30b3b..2ab8167e9 100644
--- a/kernel-armv7hl-debug-fedora.config
+++ b/kernel-armv7hl-debug-fedora.config
@@ -5528,7 +5528,7 @@ CONFIG_PROC_VMCORE=y
 CONFIG_PROFILING=y
 CONFIG_PROVE_CXL_LOCKING=y
 CONFIG_PROVE_LOCKING=y
-CONFIG_PROVE_NVDIMM_LOCKING=y
+# CONFIG_PROVE_NVDIMM_LOCKING is not set
 # CONFIG_PROVE_RAW_LOCK_NESTING is not set
 CONFIG_PRU_REMOTEPROC=m
 CONFIG_PSAMPLE=m
diff --git a/kernel-armv7hl-debug-rhel.config b/kernel-armv7hl-debug-rhel.config
new file mode 100644
index 000000000..c76e0e471
--- /dev/null
+++ b/kernel-armv7hl-debug-rhel.config
@@ -0,0 +1 @@
+# EMPTY
diff --git a/kernel-armv7hl-fedora.config b/kernel-armv7hl-fedora.config
index 4a2788a41..f21d3eec3 100644
--- a/kernel-armv7hl-fedora.config
+++ b/kernel-armv7hl-fedora.config
@@ -5504,7 +5504,7 @@ CONFIG_PROC_VMCORE=y
 CONFIG_PROFILING=y
 CONFIG_PROVE_CXL_LOCKING=y
 # CONFIG_PROVE_LOCKING is not set
-CONFIG_PROVE_NVDIMM_LOCKING=y
+# CONFIG_PROVE_NVDIMM_LOCKING is not set
 # CONFIG_PROVE_RAW_LOCK_NESTING is not set
 CONFIG_PRU_REMOTEPROC=m
 CONFIG_PSAMPLE=m
diff --git a/kernel-armv7hl-lpae-debug-fedora.config b/kernel-armv7hl-lpae-debug-fedora.config
index 1375cc4ff..9faeb7cd1 100644
--- a/kernel-armv7hl-lpae-debug-fedora.config
+++ b/kernel-armv7hl-lpae-debug-fedora.config
@@ -5400,7 +5400,7 @@ CONFIG_PROC_VMCORE=y
 CONFIG_PROFILING=y
 CONFIG_PROVE_CXL_LOCKING=y
 CONFIG_PROVE_LOCKING=y
-CONFIG_PROVE_NVDIMM_LOCKING=y
+# CONFIG_PROVE_NVDIMM_LOCKING is not set
 # CONFIG_PROVE_RAW_LOCK_NESTING is not set
 CONFIG_PRU_REMOTEPROC=m
 CONFIG_PSAMPLE=m
diff --git a/kernel-armv7hl-lpae-debug-rhel.config b/kernel-armv7hl-lpae-debug-rhel.config
new file mode 100644
index 000000000..c76e0e471
--- /dev/null
+++ b/kernel-armv7hl-lpae-debug-rhel.config
@@ -0,0 +1 @@
+# EMPTY
diff --git a/kernel-armv7hl-lpae-fedora.config b/kernel-armv7hl-lpae-fedora.config
index 20bb2d3a7..47cfc672f 100644
--- a/kernel-armv7hl-lpae-fedora.config
+++ b/kernel-armv7hl-lpae-fedora.config
@@ -5376,7 +5376,7 @@ CONFIG_PROC_VMCORE=y
 CONFIG_PROFILING=y
 CONFIG_PROVE_CXL_LOCKING=y
 # CONFIG_PROVE_LOCKING is not set
-CONFIG_PROVE_NVDIMM_LOCKING=y
+# CONFIG_PROVE_NVDIMM_LOCKING is not set
 # CONFIG_PROVE_RAW_LOCK_NESTING is not set
 CONFIG_PRU_REMOTEPROC=m
 CONFIG_PSAMPLE=m
diff --git a/kernel-armv7hl-lpae-rhel.config b/kernel-armv7hl-lpae-rhel.config
new file mode 100644
index 000000000..c76e0e471
--- /dev/null
+++ b/kernel-armv7hl-lpae-rhel.config
@@ -0,0 +1 @@
+# EMPTY
diff --git a/kernel-armv7hl-rhel.config b/kernel-armv7hl-rhel.config
new file mode 100644
index 000000000..c76e0e471
--- /dev/null
+++ b/kernel-armv7hl-rhel.config
@@ -0,0 +1 @@
+# EMPTY
diff --git a/kernel-i686-debug-fedora.config b/kernel-i686-debug-fedora.config
index 56591c894..e85a8648d 100644
--- a/kernel-i686-debug-fedora.config
+++ b/kernel-i686-debug-fedora.config
@@ -4903,7 +4903,7 @@ CONFIG_PROC_VMCORE=y
 CONFIG_PROFILING=y
 CONFIG_PROVE_CXL_LOCKING=y
 CONFIG_PROVE_LOCKING=y
-CONFIG_PROVE_NVDIMM_LOCKING=y
+# CONFIG_PROVE_NVDIMM_LOCKING is not set
 # CONFIG_PROVE_RAW_LOCK_NESTING is not set
 # CONFIG_PROVIDE_OHCI1394_DMA_INIT is not set
 CONFIG_PSAMPLE=m
diff --git a/kernel-i686-debug-rhel.config b/kernel-i686-debug-rhel.config
new file mode 100644
index 000000000..c76e0e471
--- /dev/null
+++ b/kernel-i686-debug-rhel.config
@@ -0,0 +1 @@
+# EMPTY
diff --git a/kernel-i686-fedora.config b/kernel-i686-fedora.config
index e01d27396..d89b4f481 100644
--- a/kernel-i686-fedora.config
+++ b/kernel-i686-fedora.config
@@ -4879,7 +4879,7 @@ CONFIG_PROC_VMCORE=y
 CONFIG_PROFILING=y
 CONFIG_PROVE_CXL_LOCKING=y
 # CONFIG_PROVE_LOCKING is not set
-CONFIG_PROVE_NVDIMM_LOCKING=y
+# CONFIG_PROVE_NVDIMM_LOCKING is not set
 # CONFIG_PROVE_RAW_LOCK_NESTING is not set
 # CONFIG_PROVIDE_OHCI1394_DMA_INIT is not set
 CONFIG_PSAMPLE=m
diff --git a/kernel-i686-rhel.config b/kernel-i686-rhel.config
new file mode 100644
index 000000000..c76e0e471
--- /dev/null
+++ b/kernel-i686-rhel.config
@@ -0,0 +1 @@
+# EMPTY
diff --git a/kernel-s390x-debug-fedora.config b/kernel-s390x-debug-fedora.config
index 33fd668a3..9b75d1b9b 100644
--- a/kernel-s390x-debug-fedora.config
+++ b/kernel-s390x-debug-fedora.config
@@ -4561,7 +4561,7 @@ CONFIG_PROFILING=y
 CONFIG_PROTECTED_VIRTUALIZATION_GUEST=y
 CONFIG_PROVE_CXL_LOCKING=y
 CONFIG_PROVE_LOCKING=y
-CONFIG_PROVE_NVDIMM_LOCKING=y
+# CONFIG_PROVE_NVDIMM_LOCKING is not set
 # CONFIG_PROVE_RAW_LOCK_NESTING is not set
 CONFIG_PSAMPLE=m
 # CONFIG_PSI_DEFAULT_DISABLED is not set
diff --git a/kernel-s390x-fedora.config b/kernel-s390x-fedora.config
index 6445cc091..2562ea263 100644
--- a/kernel-s390x-fedora.config
+++ b/kernel-s390x-fedora.config
@@ -4536,7 +4536,7 @@ CONFIG_PROFILING=y
 CONFIG_PROTECTED_VIRTUALIZATION_GUEST=y
 CONFIG_PROVE_CXL_LOCKING=y
 # CONFIG_PROVE_LOCKING is not set
-CONFIG_PROVE_NVDIMM_LOCKING=y
+# CONFIG_PROVE_NVDIMM_LOCKING is not set
 # CONFIG_PROVE_RAW_LOCK_NESTING is not set
 CONFIG_PSAMPLE=m
 # CONFIG_PSI_DEFAULT_DISABLED is not set