[F25] USB interference with wifi (was: getting an old kernel-header rpm)