RE: Display Port to HDMI
displayport.org has a guide document (PDF format) on DP Audio here.
On pages 3-5, they go over how to determine if a Windows device has DisplayPort audio. Summarizing: go to Control Panel, Sound, Playback tab. If a DP related entry with a monitor is shown, then it should support audio over DP.
I'd ask someone with a 3020 Micro and the processor you want (since graphics is integrated into the processor) to do and post the above as confirmation. You could also order the 3020 Micro and return it if doesn't have audio over DP.