On a 2-socket system:
- I set hw.physmem to avoid using memory attached to domain 1,
and verified that we can boot.
- I removed the DIMMs attached to socket 0, and verified that the
system boots and that all system memory is associated with domain 1.