On 24.03.2013 18:01, Leif Lindholm wrote:

>  
> +  arm = grub-core/kern/arm/dl.c;
> +

Missed this one. It's wrong. All tools are exactly the same on all
platforms. The only thing that varies is tool availability but if the
tool is available on too platforms it has to do exactly the same thing.