I have a "permanent" SD card in my XO-1.5 Installed os17 via olpc-update. When it first booted, I issued 'umount /dev/mmcblk0p1'. X restarted. mikus