Re: [PATCH v2 0/7] efi: Start to chip away at the EFI workaround