acpi_thermal - panic on Compaq Evo N800c

Hi,

I am running FreeBSD-Current on my Compaq Evo N800c laptop.

I am having problems getting it to work with ACPI. I have compiled my
own acpi_dsdt.aml file using iasl and am using it. I keep getting this
panic whenever I boot into FreeBSD with ACPI enabled.

The panic is something like this.

=======================
Fatal trap 12: page fault while in kernel mode
fault virtual address   = 0x375
fault code              = supervisor read, page not present
instruction pointer     = 0x8:0xc05da580
stack pointer           = 0x10:0xd686fbe0
frame pointer           = 0x10:0xd686fbe0
code segment            = base 0x0, limit 0xffff, type 0x1b
                        = DPL 0, pres 1, def32 1, gran 1
processor flags         = trace trap, interrupt enabled, resume, IOPL =0
current process         = 23 (acpi_thermal)
kernel: type 12 trap, code=0
Stopped at         AcpiNsMapHandleToNode+0x20:    cmpb  $0xaa,0(%edx)
=======================

uname -a
========
FreeBSD tango 5.1-CURRENT FreeBSD 5.1-CURRENT #0: Wed Jul  2 23:04:45
IST 2003     root_at_tango:/usr/obj/usr/src/sys/HOGWARTS  i386

pciconf -l
==========
tango# pciconf -l
agp0_at_pci0:0:0:  class=0x060000 card=0x004a0e11 chip=0x1a308086 rev=0x04
hdr=0x00
pcib1_at_pci0:1:0: class=0x060400 card=0x00000000 chip=0x1a318086 rev=0x04
hdr=0x01
pcib2_at_pci0:30:0:        class=0x060400 card=0x00000000 chip=0x24488086
rev=0x42 hdr=0x01
isab0_at_pci0:31:0:        class=0x060100 card=0x00000000 chip=0x248c8086
rev=0x02 hdr=0x00
atapci0_at_pci0:31:1:      class=0x01018a card=0x004a0e11 chip=0x248a8086
rev=0x02 hdr=0x00
pcm0_at_pci0:31:5: class=0x040100 card=0x004a0e11 chip=0x24858086 rev=0x02
hdr=0x00
none0_at_pci1:0:0: class=0x030000 card=0x004a0e11 chip=0x4c571002 rev=0x00
hdr=0x00
none1_at_pci2:4:0: class=0x078000 card=0x04501468 chip=0x045011c1 rev=0x02
hdr=0x00
cbb0_at_pci2:6:0:  class=0x060700 card=0x004a0e11 chip=0xac50104c rev=0x02
hdr=0x02
fxp0_at_pci2:8:0:  class=0x020000 card=0x00930e11 chip=0x10318086 rev=0x42
hdr=0x00
ohci0_at_pci2:14:0:        class=0x0c0310 card=0x004a0e11 chip=0x00351033
rev=0x41 hdr=0x00
none2_at_pci2:14:1:        class=0x0c0310 card=0x004a0e11 chip=0x00351033
rev=0x41 hdr=0x00
none3_at_pci2:14:2:        class=0x0c0320 card=0x004a0e11 chip=0x00e01033
rev=0x02 hdr=0x00

I built the kernel just yesterday.

Also at times, when I am able to use the machine with ACPI Enabled, my
trackpad/trackpoint refuses to work, where as it works with ACPI
disabled.

Any solution to this ?

TIA
Regards
       Sid