File modflist of Package kernel-source.24574
#!/bin/sh -e flist=$1 modules=$2 output=$3 mod_builtin=$4 while read MOD ; do [ -n "$MOD" ] || continue cat $flist | grep -E "/$MOD[.]ko([.]xz|[.]gz|[.]zst)?\$" >> $output || { grep -q /$MOD[.]ko\$ $mod_builtin && echo Module $MOD built-in ;} || echo Module $MOD missing done < $modules