Follow-up Comment #2, bug #57652 (project grub):
maybe a non-intrusive fix would be to ensure that ext2 gets initialized before
minix:
diff --git a/Makefile.am b/Makefile.am
index 1f4bb9b8c..0bef226d3 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -42,8 +42,11 @@ libgrub.pp: grub_script.tab.h
GRUB maintainer,
Hey, quick bug – on the html documentation index
(http://www.gnu.org/software/grub/manual/grub/html_node/index.html), it lists
the title of section 16.3.21 as “linux" instead of “devicetree”. This is
replicated in the heading on the referenced html page, but shows the correct