From 5470929309ddbe2b9f570e3dd8113973db13b077 Mon Sep 17 00:00:00 2001
From: Nick Owens <mischief@coreos.com>
Date: Wed, 1 Jun 2016 13:55:45 -0700
Subject: [PATCH] set cmddevice when cmdpath is set

---
 grub-core/kern/main.c | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/grub-core/kern/main.c b/grub-core/kern/main.c
index 9cad0c448..682d598f1 100644
--- a/grub-core/kern/main.c
+++ b/grub-core/kern/main.c
@@ -131,6 +131,9 @@ grub_set_prefix_and_root (void)
     {
       char *cmdpath;
 
+      grub_env_set ("cmddevice", fwdevice);
+      grub_env_export ("cmddevice");
+
       cmdpath = grub_xasprintf ("(%s)%s", fwdevice, fwpath ? : "");
       if (cmdpath)
 	{