nixos: iPXE client for GRUB