[commits] [linux-merge]linux integration; annotated tag, v3.13, created. v3.13