microblaze: Moved __dma_sync() to dma-mapping.h