the kernel modules are in modules.fips, there are no paths encoded there... jsut take the 15-sp3 one for starters. I think we can just enable FIPS in tumbleweed kernel too, this allows some fips rtesting also there.