Sure: https://review.trustedfirmware.org/c/TF-A/trusted-firmware-a/+/33264