On 13.11.2013 14:42, Colin Watson wrote:
> How does this look?
> 
>         * grub-core/kern/misc.c: Don't redirect divisions in the
>         GRUB_UTIL case.
You also need similar adjustment to misc.h