[PATCH v7 2/9] efimenu: menu-driven addition of UEFI boot option