Re: how to test the vanilla kernel