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