Source package: module-pae-virtualbox
kernel-module-headers-pae
kernel-xen, module-virtualbox-userspace