vchong/manifest

Manifests to use OP-TEE on various platforms