change r7 to r8
change r7 to r8 in context_switch.s
change r7 to r8 in kernel.c