actually I have the Edison Arduino board, but this problem turned out to be a Ubuntu kernel regression due to the multi-mode USB adapter. The quick fix is to use a hub with Ubuntu 14.10 and then things start to make sense.
BTW, there is a built in Pin 13 LED on the Edison Arduino board