Index: kernel/generic/src/interrupt/interrupt.c
===================================================================
--- kernel/generic/src/interrupt/interrupt.c	(revision b07c332258ddc6e1be60a03a354a75da62c09c4f)
+++ kernel/generic/src/interrupt/interrupt.c	(revision 71eef11b8afe2eec0d0ac48ea6fce51144cb5b0c)
@@ -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);