[PATCH RFC 2/4] efi: add a helper to generate dynamic UUIDs