On your keyboard, hold right hand “shift” key during the boot, don’t forget to use arrow key to choose the OS,
as sometime the timeout is only set to One second, you might not realize you have to press the arrow key very quickly to get the menu staying for options
