Le noyau a été mis à jour pour corriger des failles de sécurité. Donc oui, il faut recompiler les modules externes (ou mettre à jour les paquetages si les modules ont été installés à partir de paquetages binaires). Les modules fournis avec VMWare et VirtualBox sont distribués au moins partiellement sous forme de sources (parce que sinon ça ne serait pas gérable, il y a trop de versions du noyau; même pour les modules propriétaires, il y a en général un objet binaire et un wrapper sous forme de sources qui peut être recompilé avec le noyau) et donc il est possible de les recompiler pour le nouveau noyau. (Et si la mise à jour n'a fait qu'appliquer les correctifs de sécurité, la recompilation devrait se passer sans problèmes.)