Also da der leider noch nirgends lieferbar zu sein scheint, kann dir sicher keiner beantworten ob Sound über HDMI geht.
Kann dir aber sagen, dass dieser Nettop keinen digitalen Soundausgang hat.
Somit bleibt nur Klinkesound oder auf die anderen Hersteller, die hoffentlich bald nachziehen, hoffen!