Re: [U-Boot] [RESEND PATCH v7 1/2] socfpga: Adding System Manager driver