Re: [PATCH] doc: update bootefi man-page