Yes, the last suggestion of switch off ->remove SD card->switch on->switch off->insert SD card->switch on - worked for me. Of course as per other suggestions I did clear the cache partition which by itself did not work. Looks like removing and inserting the SD card rebuilds the cache all over...