Where is the magic that connects printf to UART #3?
It depends on what tool you use. For Keil MDK you need to create your own fputc().
See MDK-ARM Primer: Library Retarget File