[Looks like there are many similar reported issues in acpi-support, so guessing it belongs there rather than in the kernel.]
[Looks like there are many similar reported issues in acpi-support, so guessing it belongs there rather than in the kernel.]