[PATCH v7 9/9] doc:efimenu: add documentation for efimenu command