modify 3 files
including context_switch.s, syscall.s, kernel.c
change ABI so system call number is store in r8 not r7