* grub-core/normal/menu.c (run_menu) allow jumping between first and last entry