I have exactly the same problem with Toradex Colibri VF50.
I’m trying to debug LinuxKernelModule using VirtualBox Ubuntu 14.04 and as target Toradex Colibri VF50. Build is OK and output module is working on target when copied and insmod-ed. Only problem I have is with debug. It looks that loading of LinuxKernelDebugHelper.ko module, build automaticaly when debug is started, fails.
I can see error messages in target console:
[ 3597.524567] LinuxKernelDebugHelper: Unknown symbol tracepoint_probe_register (err 0)
[ 3597.546720] LinuxKernelDebugHelper: Unknown symbol tracepoint_probe_unregister (err 0)
Any solution to fix this?