fixing kernel stuff, mostly