Si, aunque siempre otras opciones, usar un reproductor con doble salida HDMi o un splitter HDMi para conectarlo a la TV y AVR a la vez.
PD: el Denon X1500H si es compatible con HDR10.
PD2: Eso te puede pasar con nuevas especificaciones de HDR, 8K...en un futuro.
PD3: Con una TV y AVR con eARC no habria ese problema, conectas el reproductor a la TV y la TV mediante HDMi envia Dolby Atmos al AVR. Pero casi no hay TVs con eARC aun y los AVR con esta caracteristica son mas caros.