well,only intel is making android x86 devices.
amd not making this kind of devices make the driver support very hard in a lots of way.
and android have very bad support of hdmi sound with x86 cpu.
almost no version of android X86 have support for hdmi sound for the moment im sorry.
so yea,i hope things will be better when chrome os with android support will be available for pc.
but for the mont the best situation is to run a android emulator.