gnu: Add linux-libre 5.13.

* gnu/packages/linux.scm (linux-libre-5.13-version, deblob-scripts-5.13,
linux-libre-5.13-pristine-source, linux-libre-5.13-source,
linux-libre-headers-5.13, linux-libre-5.13): New variables.
* gnu/packages/aux-files/linux-libre/5.13-arm.conf,
gnu/packages/aux-files/linux-libre/5.13-arm64.conf,
gnu/packages/aux-files/linux-libre/5.13-i686.conf,
gnu/packages/aux-files/linux-libre/5.13-x86_64.conf: New files.
* Makefile.am (AUX_FILES): Add them.

Makefile.am

@@ -366,6 +366,10 @@ AUX_FILES =						\
   gnu/packages/aux-files/chromium/master-preferences.json		\
   gnu/packages/aux-files/emacs/guix-emacs.el		\
   gnu/packages/aux-files/guix.vim			\
+  gnu/packages/aux-files/linux-libre/5.13-arm.conf	\
+  gnu/packages/aux-files/linux-libre/5.13-arm64.conf	\
+  gnu/packages/aux-files/linux-libre/5.13-i686.conf	\
+  gnu/packages/aux-files/linux-libre/5.13-x86_64.conf	\
   gnu/packages/aux-files/linux-libre/5.12-arm.conf	\
   gnu/packages/aux-files/linux-libre/5.12-arm64.conf	\
   gnu/packages/aux-files/linux-libre/5.12-i686.conf	\

gnu/packages/linux.scm

@@ -355,6 +355,19 @@ corresponding UPSTREAM-SOURCE (an origin), using the given DEBLOB-SCRIPTS."
 
 ;; The current "stable" kernels. That is, the most recently released major
 ;; versions that are still supported upstream.
+(define-public linux-libre-5.13-version "5.13.1")
+(define deblob-scripts-5.13
+  (linux-libre-deblob-scripts
+   linux-libre-5.13-version
+   (base32 "1mhc215a1y8bxip2f0sqmyl0rf7cgw22cmg26hg9x0pfm9li2c95")
+   (base32 "1b4rsx7g0iximrmbih22z0r4mghhm0hqhv83vmxg577c8915fzp1")))
+(define-public linux-libre-5.13-pristine-source
+  (let ((version linux-libre-5.13-version)
+        (hash (base32 "140a9ngzlarin84mnnwgx6z3ckw431d578aixxl60ll5853gdakj")))
+   (make-linux-libre-source version
+                            (%upstream-linux-source version hash)
+                            deblob-scripts-5.13)))
+
 (define-public linux-libre-5.12-version "5.12.16")
 (define deblob-scripts-5.12
   (linux-libre-deblob-scripts
@@ -477,6 +490,14 @@ corresponding UPSTREAM-SOURCE (an origin), using the given DEBLOB-SCRIPTS."
     (patches (append (origin-patches source)
                      patches))))
 
+(define-public linux-libre-5.13-source
+  (source-with-patches linux-libre-5.13-pristine-source
+                       (list %boot-logo-patch
+                             %linux-libre-arm-export-__sync_icache_dcache-patch
+                             ;; Pinebook Pro patch to fix LCD display
+                             (search-patch
+                              "linux-libre-arm64-generic-pinebook-lcd.patch"))))
+
 (define-public linux-libre-5.12-source
   (source-with-patches linux-libre-5.12-pristine-source
                        (list %boot-logo-patch
@@ -592,6 +613,10 @@ corresponding UPSTREAM-SOURCE (an origin), using the given DEBLOB-SCRIPTS."
     (description "Headers of the Linux-Libre kernel.")
     (license license:gpl2)))
 
+(define-public linux-libre-headers-5.13
+  (make-linux-libre-headers* linux-libre-5.13-version
+                             linux-libre-5.13-source))
+
 (define-public linux-libre-headers-5.12
   (make-linux-libre-headers* linux-libre-5.12-version
                              linux-libre-5.12-source))
@@ -891,6 +916,12 @@ It has been modified to remove all non-free binary blobs.")
 ;;; Generic kernel packages.
 ;;;
 
+(define-public linux-libre-5.13
+  (make-linux-libre* linux-libre-5.13-version
+                     linux-libre-5.13-source
+                     '("x86_64-linux" "i686-linux" "armhf-linux" "aarch64-linux" "riscv64-linux")
+                     #:configuration-file kernel-config))
+
 (define-public linux-libre-5.12
   (make-linux-libre* linux-libre-5.12-version
                      linux-libre-5.12-source