Hmmm... I'm having a strange problem that hasn't been discussed here yet... I boot from a SD card, and without thinking I updated the SD card first. Only, it didn't prompt me to reboot at the end. I then rebooted into flash, with the same result: updated, but it didn't ask me to reboot. Rebooting again, into SD, shows the old version number: 4.2008.30-2. Any ideas?