It worked. I have tested the sound in some ways. Mini PC connected directly to the hdmi and aux port (analog sound) of home cinema and worked as expected. My best config is being through a hdmi switch / splitter, with the connections look like this.
So I got HD audio and resolution 4k on TV.
However I never could get a sound directly on TV (Philips Android PUG7100 Brazil model, equivalent to PUS7600 in Europe).
Thank you for your help.