OK, I followed all the instructions on the DebuggingACPI page:
1. BIOS upgrade to version F.13 date 02/27/2007 did not help
2. Output of the lspci and dmidecode programs and contents of /var/log/kern.log.0 are in the preceding attachments.
Output of "uname -a" is in my original bug report.