linuxefi and initrdefi are x86 specific options for grub. As mentioned, linux and initrd are what you would use for ARM systems. With that said, being the author of that page you linked, I have a feeling that you may not have setup your environment correctly. I do not have the issue you are presenting with my ARM systems.
This is the menu configuration.
I press ctrl+x to continue booting.
The installer works.
tty2, showing uname.
