diff --git a/srcpkgs/linux5.7/files/ppc-dotconfig b/srcpkgs/linux5.7/files/ppc-dotconfig
index 5f87f342da4..7ccb6840f06 100644
--- a/srcpkgs/linux5.7/files/ppc-dotconfig
+++ b/srcpkgs/linux5.7/files/ppc-dotconfig
@@ -525,6 +525,7 @@ CONFIG_ARCH_HAS_GCOV_PROFILE_ALL=y
 # end of GCOV-based kernel profiling
 
 CONFIG_HAVE_GCC_PLUGINS=y
+# CONFIG_GCC_PLUGINS is not set
 # end of General architecture-dependent options
 
 CONFIG_RT_MUTEXES=y
diff --git a/srcpkgs/linux5.7/files/ppc64-dotconfig b/srcpkgs/linux5.7/files/ppc64-dotconfig
index e10d40563af..20bdd38dbc4 100644
--- a/srcpkgs/linux5.7/files/ppc64-dotconfig
+++ b/srcpkgs/linux5.7/files/ppc64-dotconfig
@@ -693,6 +693,7 @@ CONFIG_ARCH_HAS_GCOV_PROFILE_ALL=y
 # end of GCOV-based kernel profiling
 
 CONFIG_HAVE_GCC_PLUGINS=y
+# CONFIG_GCC_PLUGINS is not set
 # end of General architecture-dependent options
 
 CONFIG_RT_MUTEXES=y
diff --git a/srcpkgs/linux5.7/files/ppc64le-dotconfig b/srcpkgs/linux5.7/files/ppc64le-dotconfig
index 306f3b9298d..1bdcc94c7c8 100644
--- a/srcpkgs/linux5.7/files/ppc64le-dotconfig
+++ b/srcpkgs/linux5.7/files/ppc64le-dotconfig
@@ -619,6 +619,7 @@ CONFIG_ARCH_HAS_GCOV_PROFILE_ALL=y
 # end of GCOV-based kernel profiling
 
 CONFIG_HAVE_GCC_PLUGINS=y
+# CONFIG_GCC_PLUGINS is not set
 # end of General architecture-dependent options
 
 CONFIG_RT_MUTEXES=y