If the above efforts fail, also try booting with "acpi=off" and see if that make a difference (its possible your dmesg file will tell of ACPI problems).