The following workaround worked for me:
sudo apt-get install acpi-support swsusp
Then edit /etc/default/acpi-support
MODULES="ppp_async ath5k psmouse" MODULES_WHITELIST=""
The following workaround worked for me:
sudo apt-get install acpi-support swsusp
Then edit /etc/default/ acpi-support
MODULES="ppp_async ath5k psmouse" WHITELIST= ""
MODULES_