From aa864ebdb01a7685401e2b143cb359b12175b46e Mon Sep 17 00:00:00 2001
From: "Jan (janneke) Nieuwenhuizen" <janneke@gnu.org>
Date: Mon, 29 Jun 2020 15:24:45 +0200
Subject: system: 'read-boot-parameters' bugfix for multiboot.

* gnu/system.scm (read-boot-parameters): Oops, only return value for
multiboot-modules instead of (key value).
---
 gnu/system.scm | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/gnu/system.scm b/gnu/system.scm
index 44baacee7b..6a39931a41 100644
--- a/gnu/system.scm
+++ b/gnu/system.scm
@@ -353,7 +353,10 @@ file system labels."
          (('initrd (? string? file))
           file)))
 
-      (multiboot-modules (or (assq 'multiboot-modules rest) '()))
+      (multiboot-modules
+       (match (assq 'multiboot-modules rest)
+         ((_ args) args)
+         (#f       '())))
 
       (store-device
        ;; Linux device names like "/dev/sda1" are not suitable GRUB device
-- 
cgit v1.2.3