Thanks for checking. Actually we were able to resolve this issue at
the BIOS/Firmware level. There was some resource allocation issue in
the ACPI's PNP devices. But just wanted to make it clear that we
started seeing this issue from 2.6.32 onwards and hence the BIOS fix
was necessary if we wanted to use kernel > 2.6.32 or later. You can
close this issue for now.
To UNSUBSCRIBE, email to debian-kernel-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact firstname.lastname@example.org