> What acpi devices are in your kernel config? acpi0 at mainbus0
acpibut* at acpi? acpiec* at acpi? acpiecdt* at acpi? acpifan* at acpi? acpihed* at acpi? acpiwmi* at acpi? apei* at apeibus? aibs* at acpi? attimer* at acpi? com0 at acpi? com1 at acpi? com* at acpi? hpet* at acpihpetbus? hpet* at acpinodebus? lpt0 at acpi? lpt1 at acpi? lpt* at acpi? pckbc* at acpi? pcppi* at acpi? tpm* at acpi? wmidell* at acpiwmibus? wmimsi* at acpiwmibus?
