Add netboot files to channel

Depends on 08c04e0c9ec in nixpkgs.

Author: lheckemann

mirror-nixos-branch.pl

@@ -127,6 +127,9 @@ sub fetch {
     if ($channelName =~ /nixos/) {
         downloadFile("nixos.channel", "nixexprs.tar.xz");
         downloadFile("nixos.iso_minimal.x86_64-linux");
+        downloadFile("nixos.netboot.x86_64-linux.netbootRamdisk");
+        downloadFile("nixos.netboot.x86_64-linux.kernel");
+        downloadFile("nixos.netboot.x86_64-linux.netbootIpxeScript");
 
         if ($channelName !~ /-small/) {
             downloadFile("nixos.iso_minimal.i686-linux");