updates and add sgx source for build with the kernel

Change-Id: Id65239a562b4989c9bef8251b5285f93d7a8e0c4