[PATCH] doc: uefi: remove leading $ from bash commands