added kernel support for DmaManager_dCacheFlushInval