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