HDMI: add rk3288 hdmi register defined