Boot- of Opstart-menu is iets anders als BIOS....
Wellicht helpt dit artikel je om het verschil duidelijk te maken ?