Porting Tizen to devices with Rockchip SoC such the open source hardware board Radxa Rock