[PATCH] doc: update bootefi man-page