how to get grub menu at boot. efi. Then run. Modify boot paramet