Comment # 1 on bug 925663 from Bernhard Wiedemann

I guess, having the kmp packages compiled for your custom kernel would be one
way
but it is slow as those sources are mixed with the VirtualBox package.

DKMS would be the possibly nicer alternative.
Currently it is only packaged in X11:Bumblebee and not Factory