Tag: rockchip 32bit driver