if [ "$grub_platform" = "efi" ]; then
	menuentry $"EFI shell" --id 'EFI shell' {
		chainloader /EFI/shellx64.efi
		boot
	}
fi