ARM: use flush_kernel_dcache_area() for dmabounce