Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision b07c332258ddc6e1be60a03a354a75da62c09c4f)
+++ kernel/generic/src/interrupt/interrupt.c	(revision 8ccd2ea277c15d5df7f5e27ff901bafaa18515df)
@@ -110,9 +110,9 @@
 	
 	if (sizeof(void *) == 4) {
-		printf("Exc Description    Handler    Symbol\n");
-		printf("--- -------------- ---------- --------\n");
+		printf("Exc Description          Handler    Symbol\n");
+		printf("--- -------------------- ---------- --------\n");
 	} else {
-		printf("Exc Description    Handler            Symbol\n");
-		printf("--- -------------- ------------------ --------\n");
+		printf("Exc Description          Handler            Symbol\n");
+		printf("--- -------------------- ------------------ --------\n");
 	}
 	
@@ -123,8 +123,8 @@
 		
 		if (sizeof(void *) == 4)
-			printf("%-3u %-14s %#10zx %s\n", i + IVT_FIRST, exc_table[i].name,
+			printf("%-3u %-20s %#10zx %s\n", i + IVT_FIRST, exc_table[i].name,
 				exc_table[i].f, symbol);
 		else
-			printf("%-3u %-14s %#18zx %s\n", i + IVT_FIRST, exc_table[i].name,
+			printf("%-3u %-20s %#18zx %s\n", i + IVT_FIRST, exc_table[i].name,
 				exc_table[i].f, symbol);