Re: kernel-2.6.17-1.2139_FC5 broke ACPI S3 on thinkpad T42p