Header files should have different names

[irwir]

Suggested enhancement

Add psa_ prefix to the files in /tf-psa-crypto/include/tf-psa-crypto directory (or any other way to make file names distinct).

Justification

Currently there are two sets of files with different contents but the same name: build_info.h and check_config.h in include/mbedtls and /tf-psa-crypto/include/tf-psa-crypto directories.
Now IDE would be showing the same name in tab headers if both build_info.h were opened.

Mbed TLS needs this because of added convenience.
A similar change had been made previously - when config.h was renamed to mbedtls_config.h (the name was found to be too general).

[mpg]

Hi @irwir and thanks for this suggestion! Indeed it seems to me that the reasons that led us to rename config.h would also apply here. (IIRC, it was not just about convenience - some people use build systems that simply cannot cope with files with the same name in different directories.)

Cc @ronald-cron-arm