Bonjour Thierry,
Idée de troisième solution à faire en parallèle d'un contournement: se rapprocher des développeurs du kernel pour signaler qu'il y a probablement un bug. Je pense qu'il n'y pas plus vraiment de doute l'existence d'un bug. Peut être que eux, justement, pourront proposer un contournement fiable en attendant la release du correctif.
C'est faisable. Tu me conseilles de contacter debian-kernel ou lkml ? Seb.