Réponses:
Réponse: NON! Ils ne sont pas les mêmes. J'ai supposé le contraire et rencontré beaucoup de problèmes pour configurer le module virtualbox-dkms. Pour résoudre tous ces problèmes, j'ai mis à niveau mon noyau vers la version 3.16.0-4-amd64 pour laquelle il existait des en-têtes Linux appropriés.