OK, thanks. To make sure, could you do cold boot with hp_wmi module blackisted? Create a file e.g. /etc/modprobe.d/90-hp-wmi.conf containing blacklist hp_wmi and reboot.