Ну, достань таблицу микрокодов - посмотри, что там

Ну, достань таблицу микрокодов - посмотри, что там (CPUID этого пня там есть вообще, например).
Или сразу BIOS Patcher натрави.

Как и что - искать самому, действовать на свой страх и риск.;) Сам я активно такого рода действиями я занимался лет 20-25 назад, посему никакой "технической поддержки", руки отвыкли от топора, только теория в голове.

Может, i8088 ( rom.by/user/i8088 ) напиши в личку/обрати внимание на топик. Он вроде еще в теме.