Maybe...but when I go to the Whitelist settings, 3480x2160 60hz is no longer available there -- even though the 4k 60hz setting stayed selected in the main display settings menu.
I think the whitelist is loading HDMI modes from currently available displays, but the older EDID is still in use. Probably your AVR is old, and has a problem with 4K modes.