[PATCH v8 03/13] bootstd: Support booting EFI where multiple options exist