Re: [PATCH v3 08/14] Use OS version to set partition labels and UKI name