Re: new F10 kernel borked?