After evaluating the bug, it is actually a wishlist bug, because the BIOS in the system has a BBS list (F12) of all boot devices. Any can be chosen on boot-up. That's why the BIOS setup can get away with being so scant on boot-device options.
I would say the problem is solved. I found this while researching another bug. My email is different for this appendage.
