[TF-A] Re: Question about maximum TF-A BL31 memory usage