diff --git a/src/system/kernel/arch/arm64/arch_debug_console.cpp b/src/system/kernel/arch/arm64/arch_debug_console.cpp
index 39baf0e876..c1e841b75a 100644
--- a/src/system/kernel/arch/arm64/arch_debug_console.cpp
+++ b/src/system/kernel/arch/arm64/arch_debug_console.cpp
@@ -59,6 +59,15 @@ arch_debug_serial_putchar(const char c)
 void
 arch_debug_serial_puts(const char *s)
 {
+	while (*s != '\0') {
+		char ch = *s;
+		if (ch == '\n') {
+			arch_debug_serial_putchar('\r');
+			arch_debug_serial_putchar('\n');
+		} else if (ch != '\r')
+			arch_debug_serial_putchar(ch);
+		s++;
+	}
 }