Re: [U-Boot] [PATCH] nios2: remove obsolete PCI5441 and PK1C20 boards