Followup-For: Bug #1014633 What about adding a superficial autopkgtest that tries to compile a dummy third-party kernel module using kbuild? That should help noticing such breakage earlier. Andreas