No, l'IDE mi da solo ttyS0 che è l'unica seriale fisica che ho.
Non ho mai provato arduino su ubuntu.
EDIT: ora ho collegato una Uno. Tra le seriali ho anche -> ttyACM0
Ti confermo anche io che il tuo invece non la elenca (ho riprovato adesso)
Ubuntu 12.10 (ita)
@leo, a me non da nessuna segnalazione di errori all'avvio.