[PATCH] x86-64: Add dma_sync_single_range_for_{cpu,device}