efi_print_load_option
void efi_print_load_option(uint8_t *, size_t, int, int, int);
efi_print_load_option(data, datalen, Aflag, bflag, uflag);