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