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