Re: Development kernel rpm sizes?