Virtualbox on Fedora 19 Kernel Issues Computers and Networking Sep 252013 My system is PAE but I was using the basic kernel-devel instead of the kernel-PAE-devel. VirtualBox Installation Issues.