Re: grub menu scrambled?