[Bug 941931] New: GRUB2 graphical menu is extremely slow