If the system does not boot up (as the original poster mentioned above) then it doesn't matter what the settings are in the BIOS, he won't be able to see any of them nor will he be able to change them ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback