Re: Vanilla kernel RPM?