Re: [PATCH 2/2] scripts: system: Rename --no-grub option to --no-bootloader.

[David Craven]

> What do you think?

I want to clearly separate the bootloader configuration file stuff
from the bootloader stuff. I think that we shouldn't have to even
specify a bootloader tag at all (it defaults to #f).

We can have a default bootloader entry printer that just prints all
the important information for making it a gc root and that would be
the default for qemu when we are not using full-boot?

Then we can have a bootloader entry printer for grub.cfg and
extlinux.conf and a default that does the absolute minimum.