Symbol: SGX_MAX_EPC_SECTIONS