+# EFI:
+if [ "${grub_platform}" == "efi" ] ; then
+ # try to detect amd64 by checking whether CPU supports 64-bit (long) mode
+ if cpuid -l ; then
+ if test -e /boot/addons/memtest86+x64.efi ; then
+ menuentry "Memory test (memtest86+x64.efi)" {
+ linuxefi /boot/addons/memtest86+x64.efi
+ }
+ fi
+ else # assume i386
+ if test -e /boot/addons/memtest86+x32.efi ; then
+ menuentry "Memory test (memtest86+x32.efi)" {
+ linuxefi /boot/addons/memtest86+x32.efi
+ }
+ fi
+ fi
+fi
+
+# BIOS/non-EFI: