Support for different hotkey action than execute

[Andreas Born]

Attached patch introduces a new environment variable hotkey_action. It 
can be set to select or execute, whereas the latter is the default. So 
the default behaviour doesn't change. With select set instead a menu 
entry is just selected and not executed/booted on hotkey press.

This is for example useful for long menus to directly jump to some 
initial and afterwards select the desired entry without going through 
the whole menu. One still has to explicitly mark the menu entry to jump 
to with the hotkey attribute. This patch only allows to change the 
action to take on hotkey press.

Not much code and most is inspired from grub_menu_get_timeout. Applies 
and works with r3991.

    Add support to the menu for changing the action on hotkey press:
    execute (default), select

    * grub-core/normal/menu.c (DEFAULT_HOTKEY_ACTION): New define.
    (run_menu): Handle hotkey_action.
    (grub_menu_get_hotkey_action): New function.
    * include/grub/menu.h (grub_menu_get_hotkey_action): New prototype.
    (grub_hotkey_action_type_t): New enum.

hotkey-action.patch
Description: Text document