choice
        prompt "Specify GCOV format"
        depends on GCOV_KERNEL
-       default GCOV_FORMAT_AUTODETECT
        ---help---
-       The gcov format is usually determined by the GCC version, but there are
+       The gcov format is usually determined by the GCC version, and the
+       default is chosen according to your GCC version. However, there are
        exceptions where format changes are integrated in lower-version GCCs.
-       In such a case use this option to adjust the format used in the kernel
-       accordingly.
-
-       If unsure, choose "Autodetect".
-
-config GCOV_FORMAT_AUTODETECT
-       bool "Autodetect"
-       ---help---
-       Select this option to use the format that corresponds to your GCC
-       version.
+       In such a case, change this option to adjust the format used in the
+       kernel accordingly.
 
 config GCOV_FORMAT_3_4
        bool "GCC 3.4 format"
+       depends on CC_IS_GCC && GCC_VERSION < 40700
        ---help---
        Select this option to use the format defined by GCC 3.4.
 
 
 obj-y := base.o fs.o
 obj-$(CONFIG_GCOV_FORMAT_3_4) += gcc_3_4.o
 obj-$(CONFIG_GCOV_FORMAT_4_7) += gcc_4_7.o
-obj-$(CONFIG_GCOV_FORMAT_AUTODETECT) += $(call cc-ifversion, -lt, 0407, \
-                                                       gcc_3_4.o, gcc_4_7.o)