non ho il 7900, ma a rigor di logica :
colleghi uscita HDMI del decoder all'ampli,
poi l'ampli tramite HDMI al tv, assegni ad uno dei tasti del telecomando dell'ampli l'ingresso HDMI a cui hai collegato il decoder, sul tv ti posizioni sull'ingresso hdmi a cui hai collegato l'ampli e sull'ampli selezioni l'ingresso hdmi a cui hai collegato il decoder...