jacinto6: SGX-BIN: KM binary updated for latest kernel