Yes, that's exactly the point.

There's only ONE operation that currently can NOT be done while docked: uploading a kernel (or .upgrade) over the serial cable. But for all other purposes, the serial port is fully functional as is.

And the kernel (any OS) or .upgrade (under Linux) installations are easier and faster done via ethernet anyway, using other tools I've implemented for the purpose.

Cheers