> >> on a related note, there is a bad interaction [i.e. bug] between kernel 
> >> printf's and normal serial I/O.    for example, if you put debugging kernel 
> 
> Is this for the alpha?

No, the original bug report was for the i386.  My comment in reply was
that i've seend it on the alpha, too.