Comment 302 for bug 272247

I tried the method of fixing my DSDT, and was able to fix several errors. This seemed to fix the requirement for "hpet=disable" to workaround the startup problem. It also allowed for /proc/acpi/thermal_zone to be correctly populated.

However, it did not fix the suspend/resume problem (suspend works, but the machine doesn't resume). Also, while fixing the DSDT is probably the "right" solution, I don't know how well it would work for a less technical Ubuntu user.