[commits] [linux-merge]linux integration; annotated tag, batman-adv-fix-for-davem, deleted. v3.13-rc7-135-g1df0cbd