ACPI soft off with power button on Tyan S-2466 MPX

Hi,

I'm trying to get this to work but no luck so far. The same question on
(possibly) similar hardware is examined at (long line):

http://groups.google.es/groups?hl=es&lr=&ie=UTF-8&oe=UTF-8&threadm=fa.j70rtlg.v4c63i%40ifi.uio.no&rnum=2&prev=/groups%3Fq%3Dtyan%2Bacpi%2Bfreebsd%26hl%3Des%26lr%3D%26ie%3DUTF-8%26oe%3DUTF-8%26selm%3Dfa.j70rtlg.v4c63i%2540ifi.uio.no%26rnum%3D2

but no solutions are given. acpiconf -s 5 works OK, holding the power
button long enough gives me a hard poweroff. I have
hw.acpi.power_button_state=S5, and the following lines show in my dmesg
(full verbose version + asl + kernel configs at
http://grummit.biaix.org:8888/joan/debug/FreeBSD/ACPI/ )

...
acpi0: Power Button (fixed)
acpi0: Sleep Button (fixed)
...
acpi_button0: <Power Button> on acpi0

I've compiled with ACPI_DEBUG expecting to be able to see the events,
however I then get these lines at boot:

...
Preloaded elf module "/boot/kernel/acpi.ko" at 0xc07e6400
link_elf: symbol db_readline undefined
KLD file acpi.ko - could not finalize loading
...

And acpi is not loaded, su unfortunately I'm stumped here. Why can't I
load my acpi debug module? What else can I do to get a soft off on power
button?

tks
-- 
pica