Oh OK.
the code that's injecting a spurious extra ‘(system . (%current-system))’ that's causing these double builds
is not actually the problem. Instead, the profile hooks are unconditionally built for the host's (%current-system). Forcing them to match ‘--system=’ does the trick. Simple™!
Kind regards, T G-R Sent from a Web browser. Excuse or enjoy my brevity.