Re: [U-Boot-Users] [PATCH] 3/7 Nios: split board configuration of DK1S10