DRAMController now correctly handles ReadExclusive and WriteExclusive memory requests (by terminating the simulator).