Update kernel.c

r8 replace r7