Update sgxinit.c