diff --git a/target/linux/generic/config-5.4 b/target/linux/generic/config-5.4
index f14400c76c..d31bdb2b73 100644
--- a/target/linux/generic/config-5.4
+++ b/target/linux/generic/config-5.4
@@ -4124,6 +4124,7 @@ CONFIG_PROC_SYSCTL=y
 # CONFIG_PROFILING is not set
 # CONFIG_PROVE_LOCKING is not set
 # CONFIG_PROVE_RCU is not set
+# CONFIG_PROVE_RCU_LIST is not set
 # CONFIG_PROVE_RCU_REPEATEDLY is not set
 # CONFIG_PSAMPLE is not set
 # CONFIG_PSB6970_PHY is not set