[linux-morello-distros] Re: [PATCH v3 04/15] Add trusted-firmware-a