Sounds like the a Raspberry Pi Zero W might be a neat solution if you have an HDMI amp, or a Pi 3B if you want analogue audio? Both will run software that is likely to accomplish the same result (stream audio, decode DD+ - which ffmpeg handles fine and thus so does VLC and Kodi, output via...