Les modules kernel de VirtualBox 4.2.6 ne se compilent pas avec le kernel 3.7.1 pour Fedora 18
Pour solutioner ce problème il faut renommer ou deleter /usr/src/kernels/3.7.1-2.fc18.x86_64/include/linux/version.h qui est un fichier vide:
sudo mv /usr/src/kernels/3.7.1-2.fc18.x86_64/include/linux/version.h /usr/src/kernels/3.7.1-2.fc18.x86_64/include/linux/version.h_original