efi_loader: consistent types in efidebug.c