> Thanks for the update.  Am I right in guessing that 3.1.4-1 is broken,
> too,

I'll try, but not right now (I'm in just a wee bit of a rush).

> and that with 3.1.5-1 the ACPI exceptions are gone?

There's still some, but they're different now.  The thermal zone still
doesn't work.

  [   10.510591] ACPI Exception: AE_TIME, Returned by Handler for [EmbeddedControl] (20110623/evregion-478)
  [   10.510602] ACPI Error: Method parse/execution failed [\_SB_.PCI0.LPCB.ECDV.ECR1] (Node ffff880128e7a3d0), AE_TIME (20110623/psparse-536)
  [   10.510613] ACPI Error: Method parse/execution failed [\ECRB] (Node ffff880128e7a268), AE_TIME (20110623/psparse-536)
  [   10.510618] ACPI Error: Method parse/execution failed [\ECGB] (Node ffff880128e7adf8), AE_TIME (20110623/psparse-536)
  [   10.510623] ACPI Error: Method parse/execution failed [\_SB_.PCI0.VID_._DOD] (Node ffff880128e7e588), AE_TIME (20110623/psparse-536)
  [   10.510632] ACPI Exception: AE_TIME, Evaluating _DOD (20110623/video-1147)

> Could you attach "dmesg" output from booting a fixed kernel for
> reference?

Attached.

Thanks for caring,

-- Juliusz