Update kernel.c

Incorrect parenthesis.