tmpfix: make it compile on a recent kernel
Rename arm32 to armtz
Rename stm-smc.S to tee_smc-arm.S
Add tee_smc-arm64.S
Make it compile for arm64