Chris Kantarjiev wrote:
> So this is pretty much all voodoo for me at this level, and I know I 
> don't know what ACPI is all about, but an older rev of the same 
> motherboard boots just fine with an MPBIOS 3.99.8 kernel. That's 
> what's so bloody annoying...
I suspect that PR 34186 could be the culprit. At least, this problem 
seems to be either a problem with bad memory mappings, or a bad 
ACPI/BIOS call. PR 34186 describes a problem where the msgbuf would be 
mapped but only partly backed by actual memory, causing a reboot when 
the boot messages walk out of it.

I'll integrate the patch in the PR, for amd64 too. Then we can see if 
this was indeed (part of) the problem.

- Frank