> When he uses the devirginator, the debian entry is removed from the nand > boot menu. not necessarily -- he can edit the template according to the debian-script before generating and uploading the new menu.
