a few nits

lapic.c

@@ -114,7 +114,6 @@ lapic_timerinit(void)
 void
 lapic_timerintr(void)
 {
-  // cprintf("cpu%d: timer interrupt!\n", cpu());
   lapic_write (LAPIC_EOI, 0);
 }
 

picirq.c

-/* See COPYRIGHT for copyright information. */
-
 #include "types.h"
 #include "x86.h"
 #include "traps.h"

trap.c

@@ -21,7 +21,7 @@ tvinit(void)
   for(i = 0; i < 256; i++){
     SETGATE(idt[i], 1, SEG_KCODE << 3, vectors[i], 0);
   }
-  SETGATE(idt[T_SYSCALL], 1, SEG_KCODE << 3, vectors[48], 3);
+  SETGATE(idt[T_SYSCALL], 1, SEG_KCODE << 3, vectors[T_SYSCALL], 3);
 }
 
 void