Linux_64 -> Linux26_64. In both stable and master branch of nixpkgs, VirtualBox has Linux26_64 as ostype available. Use this.