jacinto6: SGX_KM: update build instruction