Comment # 11 on bug 956403 from Takashi Iwai

(In reply to Steffen Winterfeldt from comment #10)
> hp-wmi.ko _is_ part of the installation system.

Oh, it may be loaded during installation?  It's good to know!

Then the first thing to try is to test the installation with
brokenmodules=hp-wmi boot option.  If this doesn't change the behavior, check
the questions and procedures mentioned in comment 9.