[U-Boot-Users] Possible bug in PPC4xx dcache() function