Вообще-то стоит посмотреть настройки BIOS'а, а также произвести глобальный поиск информации о плате (обычно найти удаётся, даже в самых экзотических случаях).