[PATCH v7 03/11] bootstd: Support booting EFI where multiple options exist