linux-tools: update to 3.13.