fix bug I introduced, when toggling root in GRUB install menu