@pktm OK, so the trick with minicom was related to settings. Not only did I have to put it to 9600bps, I also had to turn hardware flow control off and save the settings as minicom defaults. (
$ minicom -s).
I'm documenting that here to help others, and I'll add it to the serial debug article in the docs, too.