Simplify kernel manager code