switch to slim-kernel