Re: [U-Boot] lpc32xx: devkit3250: update board configuration file