Re: F36 kernel (packaging) problems?