Have you tried to delete the files in /sketch using the Terminal Console?
Are you selecting the right board and port in the IDE?
Did you have problems while installing the boards with the Boards Manager on the IDE?
Which sketch are you trying to upload? The Blink sketch?
Have you tried with different ports and USB cables?
Thank you! I tried a Edison virtual com port (versus USB serial port) and it works.