switched back to old method

student-distrib/idt_asm.S

student-distrib/kernel.c

student-distrib/keyboard.h

student-distrib/lib.c

student-distrib/lib.h

student-distrib/paging.c

student-distrib/pit.c

student-distrib/pit.h

student-distrib/syscall.c

student-distrib/terminal.c

student-distrib/types.h