debian install script: ensure current kernel headers are installed

[jean-edouard]

The kernel headers are automatically installed as a dkms dependency. However, apt will install the headers for the latest kernel, which is not necessarily the current kernel, especially if the user didn't dist-upgrade as recommended.

Signed-off-by: Jed lejosnej@ainfosec.com

[eric-ch]

Actually, is Debian maintaining headers packages for every kernel packaged?

[jean-edouard]

@eric-ch I'm pretty sure yeah, they always ship headers with kernels and never seem to remove anything from the repos, at least as long as the release is supported. This would however break for users who installed their own kernel... But if they can build a custom kernel they should be able to adapt the script too :)

[eric-ch]

Will merge soon.