Tools to make boot images for Rockchip devices