1) Don't give your guests access to the DCT control registers.

2) On 15h - no obvious way. I don't know the other families.

3) Yes -- this can be verified easily. Pick up the AMD 15h BKDG, look up BankSwizzleMode. It's documented. The one oversight is that this bit is not under the Dram Controller's lock bit.