cat << EOF
if [ "x${grub_platform}" = xefi ]; then
	menuentry "Memtest86" {
		search --set=root --no-floppy --fs-uuid @UUID@
		chainloader /EFI/memtest86/memtest@ARCH@.efi
	}
fi
EOF