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