Re: [opensuse-factory] [Tumbleweed] Missing some kernel updates