[Bug 1167780] MicroOS images don't update grub if booted without EFI