Re: [PATCH v2 0/9] efi: Various tidy-ups and drop the default