* grub-core/normal/menu.c (run_menu) add support for separator menu entries

these entries can't be selected