change r7 to r8 in in syscall.s, kernel.c and context_switch.s