I've been scouring through the bash script trying to figure out how it "guesses" the platform. You would think a simple `ll /boot/grub` would tell it?
Anyway I tried using: `./configure --build=x86_64-efi` but I got:
checking build system type... Invalid configuration `x86_64-efi': system `efi' not recognized
configure: error: /bin/bash build-aux/config.sub x86_64-efi failed
So I'll keep sifting through the gigantic bash script... I think I should use `--with-platform=efi`. Also I guess I should use `computer` somewhere for the `x86_64`.
Thanks in advance for any guidance,
- Rick