ANYONE: Is there a zypper corefile available together with the exact kernel version that was running?