Building the kernel (have tried several versions) with GCC > 4.6.1 makes GCOV not to generate the runtime data files. The folder /sys/kernel/debug/gcov contains only the "reset" file. No messages are in the boot log about GCOV being initialized.