[PATCH v7 3/9] efimenu: add "Edit Boot Option" menu entry