I don't think HDMI audio extractors need a driver, either. The first one I could find claims compatibility with all kinds of source devices. It's probably entirely invisible to the source. I don't how know about HDMI DRM, but that's not a problem for the RPi.