ben non, la commande apt-cache search doit te retourner différents header, il faut choisir celui qui correspond au kernel installé.

j'ai des asterisk sur des becanes ovh sans soucis (et sans m'être posé la question du kernel ou réinstallé quoique ce soit)