This issue seems to be solved now, at least on x86_64: https://ci.guix.gnu.org/search?query=monero