there is, I think it might be as easy as a third flasher-3.5 push over USB; one which includes a kernel file. I am sure I got this answer form Joerg 5-6 years ago when TMO was dong 30-50 posts a day.