The underlying issue appears to be reported here: https://issues.guix.gnu.org/40272
- bug#52282: linux modules does not support inferior kernel Oleg Pykhalov
- bug#52282: linux modules does not support inferior kern... Maxime Devos
- bug#52282: linux modules does not support inferior ... Maxime Devos
- bug#52282: linux modules does not support inferior ... Oleg Pykhalov
- bug#52282: linux modules does not support infer... Maxime Devos
