cleaning things up; kernel builds again