Function instr_provide_kernel

/ This code is called from dtrace.c (dtrace_probe_provide) when */ we are arming the fbt functions. Since the kernel doesnt exist */ as a module, we need to handle that as a special case. */ /