linux (>= 3.8): revert recent change in r4k_dma_cache_inv