When you changeover to 4K, that means ALL of your HDMI ports should also become 4K capable, including the ones in the AV receiver. You can "hold over" by using TV to switch video, and leave the older Receiver to switch audio only.
Or go "hybrid." Leave everything as-is, and today, February 2017, most likely you have a SINGLE PLAYBACK SOURCE that is 4K capable, your HTPC? hook that up directly to the TV them, and everything as said, through the AV receiver.
AV stuff, ask the question, WHO is doing the switching?