[PATCH 3/3] trace/ring-buffer: Do not use TP_printk() formatting for boot mapped buffers