verify_branch update for new generic 3.13.x branch and fix bug with 3.15
kernel

Conflicts:
	verify_branch.sh