Configuring APM timer for SGX