[opensuse-factory] Re: [Tumbleweed] kernel-pae-3.17.2 was: kernel-pae-3.17.1