Since the release of Arduino 1.6.2 the 32 bit boards mnuch be installed using the Arduino Board Manager tool. The Arduino Board Manager will download and install the relevent sources enabling compile and upload to an Arduino Due or Arduno Zero using Visual Studio or Atmel Studio.