Could you also add the following to your .config: CONFIG_ACPI_DEBUG=yand boot with these on the kernel command-line: acpi.debug_layer=0xffffffff acpi.debug_level=0x2I _think_ that'll shed some light on exactly which ACPI table is beingparsed when the BUG_ON() trips. That will hopefully let other folksreproduce it more easily.