[PATCH v17 00/10] enable menu-driven UEFI variable maintenance