From be07cc4549cc109c42e1a65d3d6caf9cab1895f8 Mon Sep 17 00:00:00 2001
From: Mathieu Othacehe <m.othacehe@gmail.com>
Date: Wed, 22 Nov 2017 20:14:16 +0100
Subject: bootloader: extlinux: Fix device tree path.

* gnu/bootloader/extlinux.scm (extlinux-configuration-file): Use kernel
  directory to format device tree file path.
---
 gnu/bootloader/extlinux.scm | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/gnu/bootloader/extlinux.scm b/gnu/bootloader/extlinux.scm
index e5fdeb5801..0db5598fc9 100644
--- a/gnu/bootloader/extlinux.scm
+++ b/gnu/bootloader/extlinux.scm
@@ -53,7 +53,7 @@ corresponding to old generations of the system."
   APPEND ~a
 ~%"
                 #$label #$label
-                #$kernel #$kernel #$initrd
+                #$kernel (dirname #$kernel) #$initrd
                 (string-join (list #$@kernel-arguments)))))
 
   (define builder
-- 
cgit v1.2.3