[PATCH 4/4] rockchip: Enable HDMI output on rk3399 board w/ HDMI

[Peter Robinson]

> +#define ROCKCHIP_DEVICE_SETTINGS \
> +               "stdin=serial,cros-ec-keyb\0" \

This should likely be a usb keyboard and not the CrOS EC keyboard.

> +               "stdout=serial,vidconsole\0" \
> +               "stderr=serial,vidconsole\0"
> +
>  #include <configs/rk3399_common.h>
>
>  #if defined(CONFIG_ENV_IS_IN_MMC)
> --
> 2.18.0.321.gffc6fa0e3
>