Re: [PATCH v3 05/15] board: ns3: add api to save boot parameters passed from BL31