Change r7 to r8 in kernel.c, syscall.s, context_switch.s