diff --git a/xen/tools/kconfig/allrandom.config b/xen/tools/kconfig/allrandom.config
index c7753ac4ad..f04b589a80 100644
--- a/xen/tools/kconfig/allrandom.config
+++ b/xen/tools/kconfig/allrandom.config
@@ -1,3 +1,2 @@
 # Explicit option choices not subject to regular RANDCONFIG
 
-CONFIG_GCOV_FORMAT_AUTODETECT=y