hdd hat fast recht - du musst erst das supervisor passwort setzen. das user passwort ist egal.
danach musst du das notebook ausschalten, nicht rebooten. danach ist im bios die hdd option vorhanden.
habe auch etwas gebraucht, bis ich es gefunden habe. also, kein reboot sondern echtes ausschalten zwischen dem passwortsetzen!!