¿El avr y la tvbox son compatible 4k 60hertz? Si es así poniéndolo en modo passtrough debería solventarse el problema, sino quizás sea problema del ancho de banda permitido por tu cable hdmi