kprobe-coverage: Rename source file