@NyproTheGeek,
I had the same question as you; I spent many hours trying to get NumbaPro running on my Jetson TK1 and kept running into dead ends. Since there is almost no NumbaPro + Jetson TK1 mention on the Internet I finally emailed the people at Continuum Analytics and they replied the Jetson TK1 is currently not supported. However, they also indicated Jetson TK1 is on the roadmap although no clear date was given.
Your observation about Numba (as opposed to NumbaPro) not supporting LLVM support is right. I believe Continuum Analytics offers that capability as part of the NumbaPro commercial offering.
You might have already trying the jit decorator available with Numba. That does offer significant performance gains by compiling code, although nothing near the firepower available through a GPU :-)