Auch VirtualBox läuft derzeit nicht mit Kernel 4.12 im Host (im Guest kann man einen aktuellen Testbuild der GuestAdditions installieren).
Dank eines Postings im siduction-Forum kann man VBox 5.1.22 für Kernel 4.12 patchen:
- Wechsel des Verzeichnisses:
1
cd /usr/share/virtualbox/src
- Ziehen des Patchfiles:
1
sudo wget http://paste.siduction.org/20170629003423 -O vbox.patch
- Ausführen des Patches:
1
sudo patch -Np0 < vbox.patch
- Installation (Mainline-)Kernel 4.12.
Update 2017-07-17: Durch Fixes in VirtualBox 5.1.24 benötigt es keinen Patch mehr für Kernel 4.12 und 4.13rc in Host/VM.