Et c’est chose faite pour ceux qui utilisent une carte mère de marque ASRock. Le constructeur taïwanais diffuse en effet une mise à jour de BIOS pour ses modèles basée sur les chipsets Intel 100 Series qui permet de résoudre totalement le problème.
Si une telle mise à jour de BIOS ne vous a pas encore été proposée par le fabricant de votre carte mère, ce n’est donc qu’une question de temps a priori.