Empowering Krull - VirtualBox

After the HDD maxification on Krull, I had to push up the kernel version (to get rid of the ramdom laptops hangs), and then install VirtualBox according to that kernel version as well.
First off, get the VirtualBox that is installed by default on Linux Mint, at least on Cinnamon (64 bits).

krull > dpkg-query -W | egrep '(virtualbox*)'
virtualbox-guest-dkms 4.1.12-dfsg-2ubuntu0.3
virtualbox-guest-utils 4.1.12-dfsg-2ubuntu0.3
virtualbox-guest-x11 4.1.12-dfsg-2ubuntu0.3

So those are the packages that I have to delete, in order to install my newer VirtualBox.
To delete those I did:

krull > sudo apt-get remove virtualbox-\*
Reading package lists... Done
Building dependency tree       
Reading state information... Done
Note, selecting 'virtualbox-guest-source' for regex 'virtualbox-*'
Note, selecting 'virtualbox-nonfree' for regex 'virtualbox-*'
Note, selecting 'virtualbox-guest-utils' for regex 'virtualbox-*'
Note, selecting 'virtualbox' for regex 'virtualbox-*'
Note, selecting 'virtualbox-ose-dbg' for regex 'virtualbox-*'
Note, selecting 'virtualbox-ose-source' for regex 'virtualbox-*'
Note, selecting 'virtualbox-dkms' for regex 'virtualbox-*'
Note, selecting 'virtualbox-ose-guest-dkms' for regex 'virtualbox-*'
Note, selecting 'virtualbox-dbg' for regex 'virtualbox-*'
Note, selecting 'virtualbox-guest-x11' for regex 'virtualbox-*'
Note, selecting 'virtualbox-ose-dkms' for regex 'virtualbox-*'
Note, selecting 'virtualbox-ose-qt' for regex 'virtualbox-*'
Note, selecting 'virtualbox-guest-additions-iso' for regex 'virtualbox-*'
Note, selecting 'virtualbox-ose-guest-source' for regex 'virtualbox-*'
Note, selecting 'virtualbox-fuse' for regex 'virtualbox-*'
Note, selecting 'virtualbox-ose' for regex 'virtualbox-*'
Note, selecting 'virtualbox-2.0' for regex 'virtualbox-*'
Note, selecting 'virtualbox-2.1' for regex 'virtualbox-*'
Note, selecting 'virtualbox-2.2' for regex 'virtualbox-*'
Note, selecting 'virtualbox-3.0' for regex 'virtualbox-*'
Note, selecting 'virtualbox-3.1' for regex 'virtualbox-*'
Note, selecting 'virtualbox-3.2' for regex 'virtualbox-*'
Note, selecting 'virtualbox-4.0' for regex 'virtualbox-*'
Note, selecting 'virtualbox-4.1' for regex 'virtualbox-*'
Note, selecting 'virtualbox-qt' for regex 'virtualbox-*'
Note, selecting 'virtualbox-ose-fuse' for regex 'virtualbox-*'
Note, selecting 'virtualbox-guest-dkms' for regex 'virtualbox-*'
Note, selecting 'virtualbox-ose-guest-utils' for regex 'virtualbox-*'
Note, selecting 'virtualbox-ose-guest-x11' for regex 'virtualbox-*'
Note, selecting 'virtualbox-guest-additions' for regex 'virtualbox-*'
Note, selecting 'virtualbox-source' for regex 'virtualbox-*'
Package virtualbox-nonfree is not installed, so not removed
Package virtualbox-4.1 is not installed, so not removed
Package virtualbox-guest-additions is not installed, so not removed
Package virtualbox-guest-additions-iso is not installed, so not removed
Package virtualbox is not installed, so not removed
Package virtualbox-dbg is not installed, so not removed
Package virtualbox-dkms is not installed, so not removed
Package virtualbox-fuse is not installed, so not removed
Package virtualbox-guest-source is not installed, so not removed
Package virtualbox-ose is not installed, so not removed
Package virtualbox-ose-dbg is not installed, so not removed
Package virtualbox-ose-dkms is not installed, so not removed
Package virtualbox-ose-fuse is not installed, so not removed
Package virtualbox-ose-guest-dkms is not installed, so not removed
Package virtualbox-ose-guest-source is not installed, so not removed
Package virtualbox-ose-guest-utils is not installed, so not removed
Package virtualbox-ose-guest-x11 is not installed, so not removed
Package virtualbox-ose-qt is not installed, so not removed
Package virtualbox-ose-source is not installed, so not removed
Package virtualbox-qt is not installed, so not removed
Package virtualbox-source is not installed, so not removed
The following packages will be REMOVED:
  virtualbox-guest-dkms virtualbox-guest-utils virtualbox-guest-x11
0 upgraded, 0 newly installed, 3 to remove and 0 not upgraded.
After this operation, 10.4 MB disk space will be freed.
Do you want to continue [Y/n]? Y
(Reading database ... 208943 files and directories currently installed.)
Removing virtualbox-guest-dkms ...

-------- Uninstall Beginning --------
Module:  virtualbox-guest
Version: 4.1.12
Kernel:  3.2.0-23-generic (x86_64)
-------------------------------------

Status: Before uninstall, this module version was ACTIVE on this kernel.

vboxguest.ko:
 - Uninstallation
   - Deleting from: /lib/modules/3.2.0-23-generic/
 - Original module
   - No original module was found for this module on this kernel.
   - Use the dkms install command to reinstall any previous module version.


vboxsf.ko:
 - Uninstallation
   - Deleting from: /lib/modules/3.2.0-23-generic/
 - Original module
   - No original module was found for this module on this kernel.
   - Use the dkms install command to reinstall any previous module version.


vboxvideo.ko:
 - Uninstallation
   - Deleting from: /lib/modules/3.2.0-23-generic/
 - Original module
   - No original module was found for this module on this kernel.
   - Use the dkms install command to reinstall any previous module version.

depmod....

DKMS: uninstall completed.

-------- Uninstall Beginning --------
Module:  virtualbox-guest
Version: 4.1.12
Kernel:  3.2.0-52-generic (x86_64)
-------------------------------------

Status: Before uninstall, this module version was ACTIVE on this kernel.

vboxguest.ko:
 - Uninstallation
   - Deleting from: /lib/modules/3.2.0-52-generic/updates/
 - Original module
   - No original module was found for this module on this kernel.
   - Use the dkms install command to reinstall any previous module version.


vboxsf.ko:
 - Uninstallation
   - Deleting from: /lib/modules/3.2.0-52-generic/updates/
 - Original module
   - No original module was found for this module on this kernel.
   - Use the dkms install command to reinstall any previous module version.


vboxvideo.ko:
 - Uninstallation
   - Deleting from: /lib/modules/3.2.0-52-generic/updates/
 - Original module
   - No original module was found for this module on this kernel.
   - Use the dkms install command to reinstall any previous module version.

depmod....

DKMS: uninstall completed.

------------------------------
Deleting module version: 4.1.12
completely from the DKMS tree.
------------------------------
Done.
Removing virtualbox-guest-x11 ...
Removing virtualbox-guest-utils ...
Processing triggers for man-db ...
Processing triggers for ureadahead ...

And then, installed the version of VirtualBox that I need for this kernel, using a *.deb package.

krull > sudo dpkg -i virtualbox-4.2_4.2.16-86992~Ubuntu~raring_amd64.deb 
Selecting previously unselected package virtualbox-4.2.
(Reading database ... 208674 files and directories currently installed.)
Unpacking virtualbox-4.2 (from virtualbox-4.2_4.2.16-86992~Ubuntu~raring_amd64.deb) ...
Setting up virtualbox-4.2 (4.2.16-86992~Ubuntu~raring) ...
Adding group `vboxusers' (GID 129) ...
Done.
 * Stopping VirtualBox kernel modules                                                                                                                      [ OK ] 
 * Uninstalling old VirtualBox DKMS kernel modules                                                                                                         [ OK ] 
 * Trying to register the VirtualBox kernel modules using DKMS                                                                                             [ OK ] 
 * Starting VirtualBox kernel modules                                                                                                                      [ OK ] 
Processing triggers for ureadahead ...
Processing triggers for shared-mime-info ...
Processing triggers for desktop-file-utils ...
Processing triggers for bamfdaemon ...
Rebuilding /usr/share/applications/bamf.index...
Processing triggers for gnome-menus ...
Processing triggers for hicolor-icon-theme ...
Processing triggers for python-central ...