Patch from Nicolas Pitre

It's a rather bad idea to have psa-regs.h included all the time.
It's rather large and likely to create namespace clashes, as well
as slowing down the build unnecessarily.

Better include it explicitly where it is actually needed.

Signed-off-by: Nicolas Pitre