efi: record thunk type and data's type name (if available)