Did you end up modifying the kernel? How did you make it work with kprobes? Please provide some more context, I'm dealing with the same issue.