Bug#758423: Same problem

[Marko Hrastovec <Marko.Hrastovec@sloveniacontrol.si>]

Hi,

I have found a workaround for this problem. Obviously there is something
wrong with the way the fans are handled in this computer. I think it is
the BIOS bug, which should not report 4 fans to the OS or the BIOS
should handle interrupts related to fans properly???

I solved the issue by recompiling the kernel without acpi fan support.
The setting is CONFIG_ACPI_FAN and I changed it from y to n. Now the
kernel does not detect any fans and I think this is should not cause
break something else since the computer really does not have any fans.

I think that the proper solution would be to fix the BIOS. I am not an
expert about BIOS and ACPI drivers, so my conclusions may be completely
wrong.

Regards
Marko