[OpenBIOS] [PATCH 06/15] SPARC32: implement dvma_sync() function for synchronising DMA memory