Re: Fwd: what is the latest kernel in FC20?