Marcan has been explicit in that he knows who Lina is and has indicated that they have been in the same room together. This scenario is not a risk.

Others have discussed in here the speculation around Lina's identity if you care about the specifics for whatever reason. Personally, I don't think it's particularly important.

See if "Marcan said it's fine" flies with legal.

The Linux kernel doesn't allow for anonymous or pseudonymous contributions. It does allow for organizations to contribute on behalf of people working for or through them.

If Asahi wants to submit this upstream, then they and Marcan can put their name to it. Hector Martin or another person at Asahi would be the name on the git commit, and they would almost certainly be taken at their word that there is no concern with the merge around Lina's identity.

It's not like other commits which are done from clean room re-implementations are requiring a background check on the person submitting it.