[PATCH 0/3] (Re)enable DP/HDMI audio for RK3399 Gru