Symbol: __efi_arg_sentinel