anchor.diff:          target = "/nix/store";
         }
       ] ++ pkgs.stdenv.lib.optionals config.isoImage.makeEfiBootable [
  -      { source = bootParams;
  -        target = "/efi/nixos/boot-params";
  -      }
  -      { source = ''${import ../efi-boot-stub/nixos-boot-pkg.nix {
  -                     inherit (pkgs) edk2 stdenv fetchhg; 
  -                   }}/*/NixosBoot.efi'';
  -        target = "/efi/boot/boot${targetArch}.efi";
  +      { source = efiImg;
  +        target = "/boot/efi.img";
         }
       ];
   
  
positive.code:     '';
  
  
    # The boot params for the efi boot stub
    bootParams = pkgs.runCommand "boot-params_eltorito" {}
      ''
        echo "\\boot\\bzImage initrd=\\boot\\initrd init=${config.system.build.toplevel}/init ${toString config.boot.kernelParams}" | iconv -f utf-8 -t UCS-2 > $out
      '';
  
    targetArch = if pkgs.stdenv.isi686 then
  
negative.code:     bootImage = "/boot/grub/grub_eltorito";
    } // pkgs.stdenv.lib.optionalAttrs config.isoImage.makeEfiBootable {
      efiBootable = true;
      efiBootImage = "boot/efi.img";
    });
  
    boot.postBootCommands =
  