[PATCH v2] powerpc: Allow flush_(inval_)dcache_range to work across ranges >4GB