Hey K Rize, sorry just seen your message.
First: yes i was suspecting we would get JB at some point, and am very excitied about it
And deffinetaly will be working on JB kernels as well.
Now for the kernel; do you just want the actual stock kernel boot.img/flashable zip?
I have my own build of the stock kernel but with the Linaro toolchain that runs smoother than stock if you want that (its complete stock just compiled on my build environment and Linaro toolchain).
Or I can link you to the complete stock MB3 that came with the Rush. Just let me know what you want.
-Anim