x86/sgx: Add SGX page allocator functions