Re: [U-Boot] [PATCH 1/2] nios2: rename board nios2-generic to 3c120_devboard