Greetings you wonderful people creating, maintaining and operating this kick-ass OS! I'm trying to boot the guixsd-install-0.14.0.x86_64-linux.iso through a loopback in grub (akin: https://wiki.debian.org/DebianLive/MultibootISO). With minor adjustments from /boot/grub/grub.cfg on the iso, I have it loading the kernel from the iso. However it fails shortly after "loading kernel modules..." with repeating messages: "waiting for partition '31393730-3031-3031-3139-343131363739' to appear..." The grub.cfg has a kernel parameter '--root=31393730-3031-3031-3139-343131363739', which I couldn't find documentation on, and how this uuid is generated. I've tried substituting 31393730-3031-3031-3139-343131363739 with (loop), loop and /dev/loop0 and removing the parameter altogether, no luck. Any pointers would be much appreciated.