See comment https://review.trustedfirmware.org/#/c/trusted-firmware-m/+/509/1/tools/tfm_generated_file_list.yaml@42