[PATCH 1/1] doc: correct bootefi.rst