Re: Work around for bug 1851516: grub2-mkconfig with ARM ?