> This has been fixed since last Sunday, so kernels built with sources
> since then should work. [However, I think a change to ser.c now causes
> the serial device to not be configured.]
Yeah, it works with the recent kernel.
regards
- Adam