I hope this wmi bug also fixed a similar acpi problem I'm having in my intel/nvidia based HP spectre x360!
I was already waiting on 5.4 for an HP...