Solução eventual: substitua a placa-mãe. Eu substituí-lo com o ASUS P7P55-M , e tudo está cantarolando bem agora (embora uma pequena incompatibilidade entre o painel frontal saída no chassi do Gateway e nos pinos da placa ASUS).
Poderia ter sido possível fazer alguma ginástica com o BIOS ou CMOS na placa-mãe original para corrigir o problema, mas depois de uma semana inteira de tentativas, era hora de jogar a toalha. Espero que isso ajude alguém!