Lo apunto para que no se me olvide. Para saber el nombre de la placa madre no es necesario reiniciar el equipo. tan solo con la utilidad dmidecode podemos saberlo.
casa:~# dmidecode –type baseboard
# dmidecode 2.9
SMBIOS 2.4 present.Handle 0x0002, DMI type 2, 8 bytes
Base Board Information
Manufacturer: Gigabyte Technology Co., Ltd.
Product Name: 965P-DS3
http://wiki.debian.org/HowToIdentifyADevice/Motherboard