Fix for PRI*PTR (inttypes.h)

[katyo]

This fix solves problems with using PRI*PTR on aarch64 like the following:

error: format '%x' expects argument of type 'unsigned int', but argument 3 has type 'uintptr_t' {aka 'long unsigned int'}

[ssg-bot]

Hello @katyo!

Thank you for your contribution to Trusted Firmware-A!

The TF-A project has now migrated to www.trustedfirmware.org. Our GitHub repo will remain accessible as a Read-Only mirror but we have changed the way we accept contributions for the project.

How do I contribute patches to TF-A?

We have a Getting started article which we hope will make everything very straightforward! And if you would like more details you can always refer to the contributing guidelines.

A quick overview:

1. Go to review.trustedfirmware.org
2. Register with your existing GitHub account
3. Submit your patches!

What if I face any problems?

We have many channels through which you can contact us:

• Our mailing lists
  You can send us an email in the public TF-A mailing list. Here you can also find all the mailing lists for all the projects hosted under trustedfirmware.org.

We are looking forward to seeing your patch submitted to trustedfirmware.org!

The Trusted Firmware-A team