Tag: rockchip 64bit driver