Quick and dirty Rockchip 3188 boot tools