[commits] [linux-merge]linux integration; annotated tag, batman-adv-for-davem, deleted. v3.13-rc6-1516-g42cb0be