Adam Pribyl wrote: > > Does anybody know if this is a kernel bug worth reporting or this is > some manufacture/BIOS problem? Even assuming it is a hardware issue, you can still file a bug report. The kernel does work around in-numerous such issues. Rahul