kernel: clean up