Index: kernel/arch/ia64/src/cpu/cpu.c
===================================================================
--- kernel/arch/ia64/src/cpu/cpu.c	(revision eae4e8fa7dfec64f319138584d0480c91f7579ca)
+++ kernel/arch/ia64/src/cpu/cpu.c	(revision a6ba0c9cb46c31fab5fccc5ab7ff90a3a8cacb82)
@@ -52,5 +52,5 @@
 void cpu_print_report(cpu_t *m)
 {
-	char *family_str;
+	const char *family_str;
 	char vendor[2 * sizeof(uint64_t) + 1];