Minor logic changes

student-distrib/keyboard.c

student-distrib/paging.c

student-distrib/proc.c

student-distrib/rtc.c

student-distrib/syscall.c

student-distrib/types.h