Hi Fabian,
I too had been updating the core TZ patches provided by Samsung. From looking at your changes I see a lot of similarities in our code with the exception being the mechanism for banked register support. The difference being that your approach is a bit more explicit in the declaration of the banked registers. Whereas my approach was to update the banked registers once all the other registers were registered. Both approaches I believe work.
I spoke with Peter M. and he and I are okay with your approach. I will be looking closer at your patches today and making comments.
One thing that held me up from committing sooner was testing my changes. Do you have a good approach for testing the changes?
Regards,
Greg