[RESEND RFC PATCH v2 1/4] efi_loader: add menu-driven boot device selection