When re-stamping GRUB, check if on EFI and do some special
flags