x86/sgx: Add new sgx_epc_page flag bit to mark free pages