more ACPI debugging woes

Looking at some ASL code on a new system here, it looks like the ACPI
debugger is not dumping Integers correctly:

3: kd> !amli dns /s _SB.PCI0.APIC
ACPI Name Space: _SB.PCI0.APIC (fffffadf9bd5c9c8)
Device(APIC)
| Integer(_HID:Value=0x0000000000000000[0])
| Buffer(_CRS:Ptr=fffffadf9bd58668,Len=14){
0x86,0x09,0x00,0x00,0x00,0x00,0xc0,0xfe,0x00,0x01,0x00,0x00,0x79,0x00}

Above is an example, I know for a fact that the _HID contains an integer
value but it shows up as all zeroes. If I try any other Integer in the
namespace I get the same results.

Has anyone else seen this?

-Zach