Comment # 23 on bug 1202386 from Takashi Iwai

Yes, now you can find x86-64 binaries, too.  The build took just too long
yesterday :-<

I recommend *not* to add the repo to zypper, but just download
kernel-default.rpm from the URL, and install it via zypper install.  You might
need to pass --oldpackage option, too.

Also, another recommendation is to increase the number of installable kernels
by editing /etc/zypp/zypp.conf beforehand.  Add more entries in the line
"multiversion.kernels = ..." line, e.g.
  multiversion.kernels = latest,latest-1,latest-2,latest-3,running