gnu: Add linux-libre 6.13.

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

Change-Id: Ib2acb495eb3bd6c2c2e9e5eebd2e8a1826aeed53

Makefile.am

@@ -442,6 +442,11 @@ AUX_FILES =						\
   gnu/packages/aux-files/emacs/guix-emacs.el		\
   gnu/packages/aux-files/findclass.php			\
   gnu/packages/aux-files/guix.vim			\
+  gnu/packages/aux-files/linux-libre/6.13-arm.conf	\
+  gnu/packages/aux-files/linux-libre/6.13-arm64.conf	\
+  gnu/packages/aux-files/linux-libre/6.13-i686.conf	\
+  gnu/packages/aux-files/linux-libre/6.13-riscv.conf	\
+  gnu/packages/aux-files/linux-libre/6.13-x86_64.conf	\
   gnu/packages/aux-files/linux-libre/6.12-arm.conf	\
   gnu/packages/aux-files/linux-libre/6.12-arm64.conf	\
   gnu/packages/aux-files/linux-libre/6.12-i686.conf	\

gnu/packages/linux.scm

@@ -513,6 +513,21 @@ 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-6.13-version "6.13.1")
+(define-public linux-libre-6.13-gnu-revision "gnu")
+(define deblob-scripts-6.13
+  (linux-libre-deblob-scripts
+   linux-libre-6.13-version
+   linux-libre-6.13-gnu-revision
+   (base32 "0ix54dxka85cb5dn7wxfdfphycf9s2315m1lclbzg2950ykv6k4p")
+   (base32 "0h0nn8ia9ylxb56i49mgj4wvbish22kgcgrn8kqz3zgwmgws86kr")))
+(define-public linux-libre-6.13-pristine-source
+  (let ((version linux-libre-6.13-version)
+        (hash (base32 "0smnalhyrgh5s3mw60q56r1jxj993ckfpldxvfrz27a7xb4gc4gh")))
+   (make-linux-libre-source version
+                            (%upstream-linux-source version hash)
+                            deblob-scripts-6.13)))
+
 (define-public linux-libre-6.12-version "6.12.12")
 (define-public linux-libre-6.12-gnu-revision "gnu")
 (define deblob-scripts-6.12
@@ -635,6 +650,11 @@ corresponding UPSTREAM-SOURCE (an origin), using the given DEBLOB-SCRIPTS."
     (patches (append (origin-patches source)
                      patches))))
 
+(define-public linux-libre-6.13-source
+  (source-with-patches linux-libre-6.13-pristine-source
+                       (list %boot-logo-patch
+                             %linux-libre-arm-export-__sync_icache_dcache-patch)))
+
 (define-public linux-libre-6.12-source
   (source-with-patches linux-libre-6.12-pristine-source
                        (list %boot-logo-patch
@@ -756,6 +776,11 @@ 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-6.13
+  (make-linux-libre-headers* linux-libre-6.13-version
+                             linux-libre-6.13-gnu-revision
+                             linux-libre-6.13-source))
+
 (define-public linux-libre-headers-6.12
   (make-linux-libre-headers* linux-libre-6.12-version
                              linux-libre-6.12-gnu-revision
@@ -801,7 +826,7 @@ corresponding UPSTREAM-SOURCE (an origin), using the given DEBLOB-SCRIPTS."
 ;; linux-libre-headers-latest points to the latest headers package
 ;; and should be used as a dependency for packages that depend on
 ;; the headers.
-(define-public linux-libre-headers-latest linux-libre-headers-6.12)
+(define-public linux-libre-headers-latest linux-libre-headers-6.13)
 
 
 ;;;
@@ -1122,6 +1147,14 @@ Linux kernel.  It has been modified to remove all non-free binary blobs.")
 ;;; Generic kernel packages.
 ;;;
 
+(define-public linux-libre-6.13
+  (make-linux-libre* linux-libre-6.13-version
+                     linux-libre-6.13-gnu-revision
+                     linux-libre-6.13-source
+                     '("x86_64-linux" "i686-linux" "armhf-linux"
+                       "aarch64-linux" "powerpc64le-linux" "riscv64-linux")
+                     #:configuration-file kernel-config))
+
 (define-public linux-libre-6.12
   (make-linux-libre* linux-libre-6.12-version
                      linux-libre-6.12-gnu-revision