linux: upgraded to version 3.13.

packages/linux/default.bash

@@ -2,17 +2,17 @@ source "$PKG_COMMON"
 
 version=\
 (
-    '3.13-rc7'
+    '3.13'
 )
 
 url=\
 (
-    "https://www.kernel.org/pub/linux/kernel/v3.x/testing/linux-$version.tar.xz"
+    "https://www.kernel.org/pub/linux/kernel/v3.x/linux-$version.tar.xz"
 )
 
 md5=\
 (
-    'a9de953c724974f8842328c4f41ec255'
+    '0ecbaf65c00374eb4a826c2f9f37606f'
 )
 
 maintainer=\

packages/linux/patches-3.5.4/000-depmod-hack-needed-false.patch

@@ -1,12 +0,0 @@
-diff -Nru a/scripts/depmod.sh b/scripts/depmod.sh
---- a/scripts/depmod.sh	2012-07-21 21:58:29.000000000 +0100
-+++ b/scripts/depmod.sh	2012-08-07 00:31:44.400656765 +0100
-@@ -14,7 +14,7 @@
- fi
- # older versions of depmod require the version string to start with three
- # numbers, so we cheat with a symlink here
--depmod_hack_needed=true
-+depmod_hack_needed=false
- tmp_dir=$(mktemp -d ${TMPDIR:-/tmp}/depmod.XXXXXX)
- mkdir -p "$tmp_dir/lib/modules/$KERNELRELEASE"
- if "$DEPMOD" -b "$tmp_dir" $KERNELRELEASE 2>/dev/null; then