Add RPC support

* Uses teesmc.h for normal world communication
* Adds RPC support