DEBUG_printf is used by MicroPython to print debug information if
MICROPY_DEBUG_VERBOSE is set to (1).

Signed-off-by: Rahix <rahix@rahix.de>