Ok, nur hätte uns das an der Stelle auch nicht viel weiter gebracht.
Die Menüpunkte innerhalb des BIOS sind ja nicht standardisiert und somit lässt sich aus dem BIOS-Hersteller nicht die zu wählende Einstellung ableiten.
Was hingegen hilft, ist das Handbuch des Mainboards, welches die einzelnen BIOS-Funktionen recht vorbildlich beschreibt. (Hatte ich
oben irgendwo verlinkt.)