[Tee-dev] 64-bit TEE