[Bug 800828] Grub graphical menu is extremely slow