the latter, but I still don't get why are you using the kernel ppa but not the virtualbox one (considering I'm the vbox Ubuntu and Debian maintainer, BTW)
-- 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
