One more thing: when I wrote that the module doesn't work for me, I meant without the workaround. Setting acpi_osi=Linux in the command line works for me too.
One more thing: when I wrote that the module doesn't work for me, I meant without the workaround. Setting acpi_osi=Linux in the command line works for me too.