[Bug 999100] grub2 menu slow