[commits] [linux-merge]linux integration; branch, merge/master, updated. v3.13-rc1-1995-g6cd3cc5