Nix iso unable to boot in UEFI mode (but other distros can)

Help
63

Hi all, I was able to get my machine to boot after I added the suggestion made on this thread System won't boot path EFI stub - #12 by anon-20250105

I do not understand why it worked but it did.