Add support for more sophisticated serial output with printf