Re: [PATCH v5 03/11] efi: add a helper to generate dynamic UUIDs