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