Where(in which file) does the installer(Anaconda) write the grub menu entries (for the user to edit)?