When a new kernel is installed and used, vboxconfig cannot compile the vbox drivers again. The solution is simple, but "you have to know".
