kernel-source
kernel-server
kernel-desktop
kernel-desktop586
mandriva-release-common
vboxadd-kernel
