ARM: Remove dbg_format_msg() which can be done via printf() now that mutex used.