diff --git a/kernel/configs/allmodconfig_addons.config b/kernel/configs/allmodconfig_addons.config
new file mode 100644
index 00000000000000..54a0316fb08359
--- /dev/null
+++ b/kernel/configs/allmodconfig_addons.config
@@ -0,0 +1 @@
+# CONFIG_PROVE_RAW_LOCK_NESTING is not set