Make koan function properly on grub2 ppc systems

This should resolve issue 781