Fix Slim kernel and init