[PATCH v10 3/9] bootstd: Support booting EFI where multiple options exist