Index: kernel/arch/amd64/src/cpu/cpu.c
===================================================================
--- kernel/arch/amd64/src/cpu/cpu.c	(revision ba371e15eb85077a9be68f740a43f1ad373096de)
+++ kernel/arch/amd64/src/cpu/cpu.c	(revision aa85487c600b0fee35e8be1a6edd9b5b1a9a0646)
@@ -62,5 +62,5 @@
 };
 
-static char *vendor_str[] = {
+static const char *vendor_str[] = {
 	"Unknown Vendor",
 	"AuthenticAMD",
Index: kernel/arch/amd64/src/debugger.c
===================================================================
--- kernel/arch/amd64/src/debugger.c	(revision ba371e15eb85077a9be68f740a43f1ad373096de)
+++ kernel/arch/amd64/src/debugger.c	(revision aa85487c600b0fee35e8be1a6edd9b5b1a9a0646)
@@ -339,5 +339,4 @@
 {
 	unsigned int i;
-	char *symbol;
 
 #ifdef __32_BITS__
@@ -353,5 +352,5 @@
 	for (i = 0; i < BKPOINTS_MAX; i++)
 		if (breakpoints[i].address) {
-			symbol = symtab_fmt_name_lookup(
+			const char *symbol = symtab_fmt_name_lookup(
 			    breakpoints[i].address);
 
Index: kernel/arch/amd64/src/interrupt.c
===================================================================
--- kernel/arch/amd64/src/interrupt.c	(revision ba371e15eb85077a9be68f740a43f1ad373096de)
+++ kernel/arch/amd64/src/interrupt.c	(revision aa85487c600b0fee35e8be1a6edd9b5b1a9a0646)
@@ -65,8 +65,6 @@
 void decode_istate(int n, istate_t *istate)
 {
-	char *symbol;
-
-	symbol = symtab_fmt_name_lookup(istate->rip);
-
+	const char *symbol = symtab_fmt_name_lookup(istate->rip);
+	
 	printf("-----EXCEPTION(%d) OCCURED----- ( %s )\n", n, __func__);
 	printf("%%rip: %#llx (%s)\n", istate->rip, symbol);