kernel: remove debugging code