If Virtualbox or guest aditions are not starting ater a kernel update, just recompile the kernel modules:
o On a Virtualbox server
o On a Virtualbox guest
o On a Virtualbox server
/etc/init.d/vboxdrv setup
o On a Virtualbox guest
/etc/init.d/vboxadd setup