[PATCH 0/6] Add FF-A support in OP-TEE driver