Hi all, I recently purchased an S431 and I am now starting to fiddle with thinkpad_acpi. I am running kernel 3.10.7 on a gentoo install. The first couple of issues: fan control seems to be not responding (yes, I passed fan_control=1 at command-line) and thermal sensors are not available. Any particular suggestions? Does anybody else have this model? Thanks Jacopo