Do you by any chance have a copy of the problematic configuration file?
Unfortunately not. Best I can tell, older versions of Debian's
update-grub would output that divider, but I can't find anything in my
current install that would generate it. Best I can do is find some
unrelated examples from other people, like this one:
Replies