Sono arrivato alla conclusione che erano gli header linux buggati, o che comunque si fossero aggiornati male.

L'ho preso come scusa per passare a debian