На материнской плате есть и 32-битный, и 64-битный разъём PCI.
Есть RAID контроллер c 64-битным интерфейсом PCI: RAID bus controller: 3ware Inc 9550SX SATA-RAID
BIOS видит контроллер (и, соответственно, загружается с него) только когда он стоит в 32-битном слоте PCI. При перестановке в 64-битный слот BIOS его не видит.
Кто встречался с такой проблемой? От чего она происходит и как использовать возможности сервера и контроллера полностью (на 64-битном PCI)?