ACPI issue

Hi All,

I was trying to install dragonflybsd 3.8 in general dynamics gobook vr-2
laptop, but it gets frozen at boot due to an acpi issue. I think it could
be due to wrong bytecode by the bios vendor.
So I tried to dump the tables using this guide
http://leaf.dragonflybsd.org/~justin/handbook/acpi-debug.html#ACPI-SUBMITDEBUG
but the following command

# acpidump -t -d > *name*-*system*.asl

does not work as there is no -t nor -d flag, is there other flag I
could use to accomplish the same ?


Bests