Oh, nothing special. Just download kernel-default from here: https://beta.suse.com/private/bpetkov/1165975/ rpm -ivh <kernel-default...> and reboot into it. You can upload dmesg from it to check amd64_edac loads correctly. Lemme know should you have any problems with it. HTH.