I found this draft howto on debian-laptop mailing list, I think it is very useful for debian on laptops. http://xtrinsic.com/geek/articles/acpi.phtml