-
Raspberry Pi runs Kodi fine, there are a couple of different distributions which make it very easy. There are options for audio over HDMI or jack plug or whatever.
Other alternative is an Android box if you think you'll use the extra features. From my experience the cheap ones (in the Raspberry Pi price range) don't run Kodi as smoothly as a Raspberry Pi does so only worth it if you're planning to spend a bit more and use more of the features.
Is it just for running Kodi or other stuff as well? If just Kodi then a full HTPC is a bit of overkill.