(In reply to Takashi Iwai from comment #6) > bug 1202388 might be relevant, too. > > Could you try to blacklist ucsi_acpi ? I have blacklisted ucsi_acpi and subsequently booted twice (consecutively) successfully. I do not observe any null pointer dereferences in the logs. The system seems to be stable so far.