Re: [U-Boot] [ppc440epx] D-CACHE