Attention, il y a actuellement un problème entre le nouveau kernel-4.14.15-300.fc27.x86_64 et VirtualBox...
Pas de problème avec le kernel-4.14.14-300.fc27.x86_64
Voir:
https://bugzilla.redhat.com/show_bug.cgi?id=1539165
https://www.virtualbox.org/ticket/17505