Jonathan, 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.