No, a ver no digo que instale el a9hl... pero si que extraiga el otp... que es un paso muy sencillo (es meter una web en el navegador, y darle al menu que pone "Dump otp.bin (0x100)")... y que lo guarde para si en futuro se anima a hacerlo...
Despues ya que instale lo que quiera.... menuhax+aureinand me parece lo mas facil y asequible