Trustonic's Trusted Execution Environment (TEE) OS fails to perform revocation of trustlets. Continue reading...