Re: no kernels updates in F17 ?