adding nixos64 template definition

existing template definitions for nixos was for 32bit OS, this is an additional template for 64bit