I just saw the BIOS option to create a new boot option:

Code:
ADD NEW BOOT OPTION
Choose that and see what it gives you.