Hello Geert,

  GH> Here's a dmesg (GENERIC kernel with acpi and acpibut added).

That was helpful.  It looks generally positive.  I think many of the
devices that show up as not configured at acpi0 are recognised later
on via more conventional means.  Do you notice any ill effect from
other "not configured" devices?

Thanks,
  - Andy Ball