Re: a few questions regarding acpi and kernel configuration