[linux-vuplus] delete /tmp/vmlinux-3.13.5 within do_install.