Cambiar versión de VirtualBox de repositorio a ppa

Estaba trabajando en Ubuntu 14.04, con una versión antigua de VirtualBox y decidí actualizarla. Para ello agregué el repositorio oficial de Oracle, siguiendo las instrucciones indicadas.
Luego desinstalé la versión que tenía antigua, y reinstalé la versión más reciente. Sin embargo al intentar ejecutar cualquiera de las máquinas virtuales en el equipo se disparaba el error:

VirtualBox kernel modules do not match the version of VirtualBox

Inicialmente, intenté solucionar el problema infructuosamente desinstalando, reinstalando y reconfigurando el paquete. Luego de esto busqué en internet, y conseguí la solución en un foro.
En resumen:

1. sudo rmmod vboxnetadp vboxnetflt vboxpci vboxdrv
2. sudo rm  /lib/modules/*-generic/updates/dkms/vbox*
3. sudo /sbin/rcvboxdrv setup
4. sudo /etc/init.d/virtualbox restart