Похоже, никакой проблемы не было. Убрал из начала user_main() настройку битрейта УАРТа на 115200 и получил рабочий лог на 74880. Видимо, он и раньше запускался, просто я, видя в терминале кракозябры, не лез смотреть список доступных сетей. Но в любом случае, это полезный опыт.
Остается вопрос...