Google works around a ton of out-of-spec hardware / driver quirks for Android's ExoPlayer media player stack. So it is more than reasonable to expect Google to add a workaround for this.