choice_protocol
choice_protocol(handles, nhandles, imgpath);
void choice_protocol(EFI_HANDLE *handles, UINTN nhandles, EFI_DEVICE_PATH *imgpath);