# CONFIG_GCOV_KERNEL is not set