No. Connect the device directly to the TV or buy another AVR.
AVRs are known to make problems on reading EDID and break CEC as well.
You can dump your disp_cap to the device and this will be used.
I think this is the command to dump them:
cat /sys/class/amhdmitx/amhdmitx0/disp_cap > /storage/.kodi/userdata/disp_cap
Please ensure that the AVR is turned on and all disp_cap informations are read correct before dumping it.