[PATCH v3 1/5] powerpc: Allow flush_icache_range to work across ranges >4GB