1. Launch xterminal 2. sudo gainroot (assuming you have rootsh installed) 3. apt-get install --reinstall kernel kernel-flasher 4. reboot