The TF-A project uses the Gerrit review system for patch reviews, would you mind resending your patch on review.trustedfirmware.org please?
If you need help with that, there's a "getting started" guide there (it is a bit outdated but hopefully still helpful): https://developer.trustedfirmware.org/w/tf_a/gerrit-getting-started/
And our project specific contribution guidelines are there:
https://trustedfirmware-a.readthedocs.io/en/latest/process/contributing.html
I had checked the "guidelines". The absence of terms like "requirements" or "policy" was suggesting alternative submission channels.
Paperwork is useful for complex, critical or paid code, but this specific change affects four letters in the trivial clean step of a build-time script. The procedure would take much more time than the patch itself.