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