> I provided guidance in 2018 on how to address this issue:
>
>   https://issues.guix.gnu.org/33848

Looks like you are linking to this very same thread :)

> Did anyone talk to the SBCL folks?  Please, let’s address this rather
> than look for workarounds.

I've just asked them for advice:

https://bugs.launchpad.net/sbcl/+bug/1922011

-- 
Pierre Neidhardt
https://ambrevar.xyz/