From what link did you download this IDE? What version have you downloaded? Are you sure you are selecting the correct port in the Arduino IDE?. Make sure you have the switch SW1 towards the micro USB ports and are connecting J16.
Make sure to follow IoT - Step 2: Install drivers | Intel® Developer Zone .