kernel redesign