Mauricio, thanks for doing the debugging, this is very helpful and saving me a lot of time :)
This is exactly the problem I expected, and I believe we should be able to workaround it in grub-installer.
Marking the bug as Triaged; I'll reproduce this setup and experiment a bit with changes to grub-installer to come up with a way to fix this.
Mauricio, thanks for doing the debugging, this is very helpful and saving me a lot of time :)
This is exactly the problem I expected, and I believe we should be able to workaround it in grub-installer.
Marking the bug as Triaged; I'll reproduce this setup and experiment a bit with changes to grub-installer to come up with a way to fix this.