RISOLTO: dopo vari tentativi e driver installati (forse inutilmente) ho provato a cambiare il cavo micro-usb e BOOM! Ora mi appare la porta seriale per l'upload del codice 
Che dire.. per i prossimi neofiti che avranno il mio stesso problema, fate questo tentativo come primissima cosa! Alcuni cavi sono solo per l'alimentazione e non stabiliscono una connessione dati tra dispositivo e computer.
Alla prossima!