Píše, že má x64 OS pak by to bylo divné, ale je možné, že je to crackem ošetřené a to by problém byl. Druhá možnost je, zda není taktováno, moduly jsou na dané frekvenci podporovány a OS není nabořený s nějakým "taky" loaderem. Jestli BIOS vidí vše správně je problém v OS, ne v HW.