dovrebbe essere il pacchetto kernel-devel che li mette

dovrebbe essere compreso nella sezione sviluppo nel gestore sofware