[opensuse-kernel] Re: Debuginfo for x86_64 kernels (systemtap complaints about arch mismatch)