> Just out of curiosity: try a different speed than 9600. Doesn't matter
> what it is, just other than 9600. I've seen a weird problem with getty
> at 9600 bps once.  Your probably is unlikely to be the same but.. you never
> know.
If the first speed you set the terminal port to is 9600
nothing will happen, any other speed works.
I've sent a PR about this, but I've not seen a fix yet.

	-- Lennart