That has short but very informative indeed. Thank you. :)

Even if the pinout is the same, is it possible that some connections have been left disconnected or components unpopulated on the board, which would prevent ECC from working?

As a more general porting question, what steps should be taken in porting coreboot to the larger board (the 'M' variant) to avoid unpleasant consequences?

I would think the PCI layout would be different (obvious, since one board has more slots then the other) but what should not be assumed to be the same?

Thanks,

    -Matt