Re: [U-Boot] [PATCH] lib_ppc: rework the flush_cache