Comment # 27 on bug 1202386 from Malte von der Lancken Wakenitz

(In reply to Takashi Iwai from comment #23)
> 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

I successfully installed the debug kernel. Removed the module ucsi_acpi from
the blacklist. Disabled secure boot. And tried to boot without success. It did
get to a login screen (so nvidia driver was working), but on login the plymouth
screen just started spinning it's busy image. I toggled to console
(ctrl-alt-F1) and started seeing a stream of messages (presumably debug):

localhost.localdomain kernel: power_supply ucsi-source-psy-USBC000:002: XXX
psy->desc->get_property is NULL

I could not log in on console. The system had become unresponsive. I then hard
reset the machine. Added the module ucsi_acpi back into the blacklist and
rebooted successfully.

I have attached as much log information as I could get from the attempt.