[Bug 292013] New: Grub-tool does not recreate initrd if the vga-mode changed