Mega 2560 appears in USB serial devices, but Tools > Port still grey

(deleted)