don't install a backported kernel (especially not the wrong version of it)
added ubuntu 13.10 to the list
added .gitignore
no need to reboot anymore