diff --git a/gnu/system.scm b/gnu/system.scm
index 284dbe2c4ed2aaa5fa1c6df5238fdda11bcb50de..ea6e9c13ea74ae16dffe8cff609b2a53481f4081 100644
--- a/gnu/system.scm
+++ b/gnu/system.scm
@@ -103,7 +103,7 @@ (define-record-type* <operating-system> operating-system
   make-operating-system
   operating-system?
   (kernel operating-system-kernel                 ; package
-          (default linux-libre-4.0))
+          (default linux-libre))
   (kernel-arguments operating-system-kernel-arguments
                     (default '()))                ; list of gexps/strings
   (bootloader operating-system-bootloader)        ; <grub-configuration>