I have a TX NR747, so the experience might be different. If I first select the PC input and then select Phono, the HDMI input remains on PC. In other words, I can listen to records and use the PC connected through the tuner.
If this does not work for you, then perhaps is there a firmware...