Re: [U-Boot] [PATCH v2 05/10] ARM: remove devkit3250 board support