add slimkat support
Correct kernel names