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