linux: version bumped to 3.12.13.
Merge pull request #567 from Florin65/linux

linux: version bumped to 3.12.13.