I have the same setup and it usually works nicely with ARC, but it all depends on the specific products and models you use, for example most TV's will remember

I have the same setup and it usually works nicely with ARC, but it all depends on the specific products and models you use, for example most TV's will remember the last use HDMI (or else I get an emergency phone call to fix that)