[splitkern] some more changes