Novatel U720 is it in the kernel?