If the Denon is not combining the display capabilities of both displays in a fake EDID and sent that you would need to create manually the respective capabilities files using the information when the TV is connected and disconnected.
See this thread for and idea of the concept.