[PATCH 1/1] doc: update UEFI documentation