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