Re: [opensuse-kernel] Re: Which kernel repository for Factory users?