Problem: Fan speed bugs (serious)

Hi!

I've posted a message on the linux-kernel list about some bugs (see http://lkml.iu.edu//hypermail/linux/kernel/1404.0/02012.html) that I think are also very similar, if not identical to:
http://ubuntuforums.org/showthread.php?t=2060681
https://bbs.archlinux.org/viewtopic.php?id=160627

Interesting, they also have HP laptops... So either this is a bug in the BIOS's (unlikely, as other OS's work OK) or it's a bug somewhere in the kernel in combination with these laptops...

P.S.: I'm new to the kernel mailing lists (or any lists for that matter) so feel free to warn me if I'm doing something wrong.

Thanks
(I'm not subscribed, please CC me)