Add support for arm64

Depends corresponding API change in kernel driver.

* Adds support for arm64
* Changes in the API between kernel driver and also secure world
  to make it 64-bit compatible while not requireing a 64bit secure
  world.