run_program("/sbin/mount", "/cache");
unmount("/system");
ui_print("Installing GT-N8000 1600Mhz kernel binary!");

show_progress(0.100000, 90);
ui_print("-- Flash boot.img");
package_extract_file("kernel/flash_image", "/tmp/flash_image");
set_perm(0, 0, 0777, "/tmp/flash_image");
assert(package_extract_file("kernel/boot.img", "/tmp/boot.img"),
       run_program("/tmp/flash_image", "/dev/block/mmcblk0p5", "/tmp/boot.img"),
       delete("/tmp/boot.img"));
	   
unmount("/system");
unmount("/cache");
unmount("/data");
ui_print("Done installing kernel binary!");
show_progress(1.000000, 100);
