I'm missing something subtle here.
I originally created a project with KDS 3.0 and KSDK 1.2 (and PEx) which included a fsl_debug_console brought out on UART0. I had plenty of printf() calls sprinkled throughout my code, and everything worked great.
Today I migrated the project to KSDK 1.3. I cleaned up all of the PEx issues, regenerated the code, and surprisingly enough, compiled with zero errors. However, my printf() calls are now broke (cause an unhandled interrupt?). On a whim, I changed the first printf() to debug_printf(), and that line works!
What do I have to do to redirect printf() to debug_printf()?