[hal] Standard Logging Format

[ppenna]

Description

We are currently messing the kernel logs, by using different string formats to log the output. We should stick to a standard formatting for kernel logs, so it becomes easier to debug with automated tools.