[splitkern] bug fix