Re: [opensuse-kernel] kernel-default-debuginfo-3.4.0-25.2-x86_64 in Tumbleweed. No debugging data available