Manpages of acpidump in Debian wheezy