Thanks arduino_4_life. Your answer is helpful.
Your answer leads to an additional question. If one is supposed to "press F7" that implies that the keyboard involved is a PC type keyboard and not simply an ASCII type attached to the UART serial port. Can you elaborate on that?
When accessing the EFI environment is a USB type PC keyboard plugged into the Galileo's host USB port?
Or in fact is some type of terminal emulator used from a PC host that sends an virtual F7 key as an encoded ESC sequence over the UART link into the Galileo board?
Michael Karas