I found this tool from nokia, would this do the job or do I have to flash from linux? I don't actually have the device with me to try this out at the moment...