kernel/exit.c: fix coding style warnings and errors