[kubic-bugs] [Bug 1167780] New: MicroOS images don't update grub if booted without EFI