In effetti si tratta di schede Gigabyte, precisamente:

- GA-P35C-DS3R

e

- GA-EP35C-DS3R

sulle schede tecniche del sito ufficiale l'unica differenza è che per la prima, alla voce Bios, riporta la dicitura "DualBIOS +", la seconda "Virtual Dual Bios", per il resto identiche. Opterò per la seconda, visto che è maggiormente reperibile e nella versione con la revisione più recente.

Grazie per la rapida e puntuale risposta Luca.

vincenzo