List of modules required by linux-modules

[address@hidden]

Dear community,

I am trying to create a package for linux-xenomai (see previous thread
"Creating a package
using two sources/origins").
Thank to your help I managed to successfully build the (patched)
kernel, but when I start a
"guix system reconfigure" to adopt linux-xenomai in my setup the
system build fails while
building linux-modules (and also grub, raw-initrd and init which depends on it).

This is the build log:
------------------------------------------------------------------------------------
Backtrace:
           6 (primitive-load "/gnu/store/m0kd924mhb1bl6wn384gpcss29w?")
In ice-9/eval.scm:
    619:8  5 (_ #f)
   626:19  4 (_ #<directory (guile-user) 7ffff5fdbc80>)
   293:34  3 (_ #(#<directory (guile-user) 7ffff5fdbc80> #<procedu?>))
In srfi/srfi-1.scm:
   586:29  2 (map1 ("ahci" "usb-storage" "uas" "usbhid" "hid-gene?" ?))
   586:17  1 (map1 ("usb-storage" "uas" "usbhid" "hid-generic" "h?" ?))
In gnu/build/linux-modules.scm:
    269:5  0 (_)

gnu/build/linux-modules.scm:269:5: kernel module not found
"usb-storage" 
"/gnu/store/r2f9wrf17ys0znnxmvmy31h1z8b2nvrv-linux-xenomai-5.4.228-5.4.228/lib/modules"
-------------------------------------------------------------------------------------------------------

The package is expecting to find kernel modules for "ahci",
"usb-storage", "uas", "usbhid",
"hid-generic" and I'm sure also many more (because I iterated the
build by inserting these new
config without success). Unfortunately the list (in the log) is
truncated and I don't know how
many we need.
My questions are these:
1. can you point me to the full list of modules required?
2. if they are needed, why those modules are not inserted in
%default-extra-linux-options?

Regards,
   Davide