kernel: remove old unused file