Fix dma_alloc_writecombine, delete default implementation, add implementation in dummy.c