Well, removing agetty is a pain, so it's back in for now - sorry about
the direction change. I haven't seen other recent reports of problems
like this one, and agetty is in fairly wide use, so I guess the first
priority is finding a portable way to reproduce the problem.
Ideas/comments?