just recompiled with a small kernel