ACPI causes page fault/panic upon reboot

[Nate Lawson]

Enable "options DDB" and other debugging options in your kernel so that
you can get a stacktrace.  The problem could also be rl0 or dc0 in their
shutdown routines since they share an interrupt with acpi.  If you can
remove either of those cards, see if that fixes the problem.  Also,
does disabling acpi help?  Finally, try:
  sysctl hw.acpi.disable_on_poweroff=0

-Nate