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