kernel: cleanup