rebooting with new kernel

[Chris Murphy]

The diff isn't that useful because the old and new grub.cfgs are too
different. They're different because grub.cfg is modified by grubby
rather than being created from scratch everytime there's a new kernel
install. So the more kernels are installed, the more different the
grub.cfg becomes since grubby's modifications aren't the same as what
grub2-mkconfig would produce.



Chris Murphy