sgx: port da8xx changes from ti 3.12

Signed-off-by: Robert Nelson <robertcnelson@gmail.com>
sgx: add sgx kernel building script, no ideas on the init script yet...

Signed-off-by: Robert Nelson <robertcnelson@gmail.com>