Couldn't it be a simple reboot to switch back to normal linux?