Re: [U-Boot] [PATCH v2 3/3] arm: lpc32xx: switch SPL builds to driver model