Update install-kernel-3.13.0rc7.sh