I found this bug report by accident, but I'd just like to note that it should be possible to solve this problem with BIOS hacking. See: http://imc.livejournal.com/147942.html This still doesn't explain why the kernel doesn't like the machine's default configuration, of course. imc