Would it possible to add a virtualbox-host-kmp provide to virtualbox-host-source? Othewise uninstalling an old kernel is impossible because virtualbox-host-kmp-<kernel-ver> depends on it. Here, purge-kernel often fails due to this problem.