You might check the thread 'Arduino-1.0.3 + teensyduino problems' for a report on my more recent experiences. Right now, I'm able to connect to /dev/ACM0 using minicom. I haven't tried gkterm or screen.
Code will upload and automatic reboot works even though /dev/ttyACM0 does not show up on the...