Ajout d'un kernel utilisant les intrinsics, ça compile, mais l'appeller cause une seg fault. Pas moyen de savoir d'où ça viens, car aucun printf ne marche dans ce cas...
La fonction devait, pour essayer, utiliser les "non temporal store". La fonction a donc un interet demonstratif...