Si el micro es de 64 bits, igual deberías mirar si la BIOS de la placa está desfasada. No es la primera vez que veo placas problemáticas cuya solución era una simple actuialización de BIOS.

Saludos