jw-xpsThus, the real problem was my fancy keyboard's function keysnot being recognized by the BIOS. Moral of the story: Use a simple keyboard to change BIOS. (It's surprising that all of Microsoft's keyboards are not usable with the BIOS.)
Some of the fancy Microsoft keyboards require using a 'function alt' key to generate function key-presses.
