jacinto6: update SGX kernel module for latest kernel