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