Code:
slickymaster@VirtualBox:~$ lsb_release -a && uname -r
No LSB modules are available.
Distributor ID:	Ubuntu
Description:	Ubuntu 13.10
Release:	13.10
Codename:	saucy
3.11.0-031100rc6-generic
And finally the compilation of virtual box guest additions is fixed, so there's no more need to remove them to install new kernel versions.