Phone stuck on Splash Screen after OTA ICS

view story

http://forum.xda-developers.com – Looking for a little help for a friend of mine. Her E4GT is not rooted and yesterday she accepted the OTA update without an SD card present. I don't know what exactly happened but the aftermath resulted in her phone being stuck on the first splash screen. I booted into stock recovery and tried to apply the update manually but it aborts the install everytime saying: Finding update package… Opening update package… Verifying update package… Installing update… file_getprop: failed to start “/system/build.prop”: No such file or directory E:Error in /tmp/sideload/package.zip (status 7) (HowTos)