[PATCH v4 03/10] efi: add a helper to generate dynamic UUIDs