./2: Moi je n'ai rien recompilé, la mise à jour était automatique, et j'ai juste modifié l'entrée par défaut du grub pour booter sur la version précédente du kernel. Par contre j'ai lu sur les forums qu'il fallait que je recompile certains modules, comme (sauf erreur) vboxdrv, qui refuse de se lancer sur le nouveau kernel.
Pour VMware-player il me semblait qu'il n'y avait juste aucune solution, d'autres personnes étaient dans la même merde mais rien de neuf depuis.