clean up kernel sources