[U-Boot] [PATCH v2 28/37] rockchip: rk3288: pinctrl: Fix HDMI pinctrl

[Simon Glass]

On 21 January 2016 at 19:45, Simon Glass <sjg at chromium.org> wrote:
> Since the device tree does not specify the EDID pinctrl option for HDMI we
> must set it manually. Fix the driver to handle this.
>
> Signed-off-by: Simon Glass <sjg at chromium.org>
> ---
>
> Changes in v2: None
>
>  drivers/pinctrl/rockchip/pinctrl_rk3288.c | 2 ++
>  1 file changed, 2 insertions(+)

Applied to u-boot-rockchip.