[Bug 941931] GRUB2 graphical menu is extremely slow