Did you guys manage to figure out how to flash the Kernel?
If you replace the L4T zImage with your zImage, and you configured it to correctly use the current module directory, then flash.sh -k 6 jetson-tk1 mmcblk0p1 works. If you used U-boot, then you also need zImage in the /boot of the Jetson.
Shervin, is there any kind of ETA on when Nvidia will be posting updates with the wifi drivers? I really do not want to have to rebuild the kernel just for this, but if it is going to be 6 months to a year before you guys get anything out there then I will have to. WIFI is a must for the applications I am working on, but I can get by for a few months while I work on other stuff.