[TESTING] Linux 4.9 kernel and improved video stack for Vero 4K / 4K +

The DSD conversion Kodi does is a generic one to 192 kHz 24 bit. Most of the time this is not what is recommended, if converting DSD to PCM more or less properly. It’s putting a lot of stress on the device to do this in real time. As the format is quite rare and there’s no proper way (DSD passthrough, DoP) to output DSD with Vero/Kodi, we probably won’t invest much time into this. There’s a clear remark about this in our audio wiki as well: Audio hardware and software configuration