Just wondering, before I hit the buy button - I assume I can install Kodi, but im wondering if audio passthrough and 4k HDR all works? Are there any problems I should be aware of with Kodi and compatibility? Also, can I install Coreelec on this box and will that all work as expected?