x86/sgx: Add infrastructure to identify SGX EPC pages