sgx on pyra with newer kernels