[PATCH V5 09/31] x86/sgx: Make sgx_ipi_cb() available internally