Benjamin Herrenschmidt wrote:

> Send me the full dmesg log and the output of /proc/meminfo

Here they are, plus the full config.

I'll also physically verify that it really does have the amount of memory that I 
was told it did.

Chris