Re: [U-Boot] Bug in TOP860 code with gcc 4.8.1