Oh dear, seems I made it more complicated then necessary :-) I am not using the kernel ppa like a ppa at all. Instead I regularly check http://kernel.ubuntu.com/~kernel-ppa/mainline/ and if there is a new kernel, I manually remove the old kernel and manually install the new kernel. Newer realized that I could use it like a ppa (it does not contain the same information like launchpad where you get instructions how to integrate the ppa into your system) - the tutorials to get a more recent kernel did not mention that and it was working until now.
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1629870 Title: Trouble installing mainline kernel 4.8: virtualbox-dkms 5.0.24-dfsg- 0ubuntu1.16.04.1: virtualbox kernel module failed to build To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/virtualbox/+bug/1629870/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
