gcov in Linux kernel does not work with gcc 4.7