Work around grub.conf/menu.lst inconsistency