Known Vulnerabilities in Intel Alias Checking Trusted Module (ACTM)