fixing a bug I introduced in DmaManager_dereference

Change-Id: Ibd872aa175489453c0adbaad9bddf20d0b32f4cd