Ahí los podrás encontrar, pero además necesitarás los kernel-headers de tu núcleo para compilarlos (yo tardé un tiempo hasta darme cuenta... :D). Saludos