Re: [RFC PATCH] efi_loader: disable GRUB workaround by default