minor kernel changes