panic: clean up kernel/panic.c