Re: [U-Boot-Users] [PATCH][RFC] lib_ppc: make the flush_cache stronger