Hi Leo!
I’m addressing you directly because of the entry in etc/teams.scm.
I found and fixed a bug in make-linux-libre*. The split of the phase 'configure into a separate 'set-environment will be used by another patch.
Actually this is part of a patch series in 48314. But it is an independent fix, which can reduce the size of that other ticket.
If this patch is accepted, I may send another part of that patch series separately.
Bye
Stefan