I've forwarded this upstream as https://lists.gnu.org/archive/html/grub-devel/2013-09/msg00046.html, and added my own review there. Sorry for the long delay!
I've forwarded this upstream as https:/ /lists. gnu.org/ archive/ html/grub- devel/2013- 09/msg00046. html, and added my own review there. Sorry for the long delay!