The build was successful:
https://koji.fedoraproject.org/koji/taskinfo?taskID=76057984
I see you've made a commit to the rawhide branch only; I'll go ahead and apply the
patch to the f35 branch as well.
Thanks for the help. The patch doesn't look complicated, but unfortunately I have zero
experience working with assembly, so I couldn't have done it myself.
A.FI.