Re: [U-Boot] [PATCH] nios2: change size_t to fix format warning for gcc 4.7.3