On Thu, 9 Oct 2008 23:10:02 +0200 (CEST)
Mark Kettenis <mark.kettenis@xs4all.nl> wrote:

quoted text
> I just committed a fix for the dmesg corruption problem.  This may
> also fix the random crashes you were saying.  Current snapshots should
> already have the fix.
> 
> Boy, those Intel-branded boards have shitty BIOSes...


Rev 1.84 of sys/arch/amd64/amd64/machdep.c also fixes the dmesg-output
on my Thinkpad X200, a Centrino 2 system.

Thx Mark!

- Robert