Re: [U-Boot-Users] [PATCH] ppc4xx: Fix PPC440 build breakage due to missing dcache_enable symbol