A decade later, found the same bug in grub. It might not affect "standard" grub usage (e.g. Ubuntu) where it may not need to probe and guess filesystem type just to boot the system, but thank you for the excellent diagnosis nevertheless!
https://lists.gnu.org/archive/html/grub-devel/2020-05/msg00205.html -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/518582 Title: mount ext fileystem fails, booting fails, blkid produces no output To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/util-linux/+bug/518582/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
