He estado dando vueltas y a mí tampoco me ha quedado claro, si te puedo decir que el que mencionas en el segundo link, es el que yo me bajé, pero el mío era un pentium, por tanto no me atrevo a decirte que ese sea el tuyo.
Lo que si te digo, es que todo lo que tu estás padeciendo, lo padecí yo con el otro pc, lo probé todo, y nada, hasta que otro amigo que tenía el mismo problema e incluso llegó a cambiar el voltaje de la placa, en los foros de viaarena descubrió esa manera.
Y si te insisto en formatear, es porque es la única manera de instalar los drivers de la placa antes de nada que es como se soluciona el problema, instalas windows, y lo primero, te diga lo que te diga windows, es el driver de la placa, luego ya el orden que quieras seguir es lo de menos, pero lo primero de todo el driver de la placa.
Voy a buscar documentación que tengo sobre el bug mencionado, si la encuentro la pongo, para algunos será bueno para no caer en la desesperación.
Saludos