AIO-3288J四核开发板 用的HDMI IN 芯片是RK628D吗

问题如题,目前AIO-3288J的HDMI IN 用的RK628D吗?现在东芝的转换芯片停产了,而RK628D的性价比用比较高,想买一块带628D的板卡看下效果,所以想确认下firefly的HDMI IN 用的是不是RK628D