[arduino] Arduino Tools > Serial Port greyed out