kernel version is 7.2.5
root module: autofs
  builtin dependency: autofs4
root module: efivarfs
modprobe: FATAL: Module efivarfs not found in directory /nix/store/p8fjbph6p0rii1cs8dibniifpys3w1rv-linux-7.2.5-modules/lib/modules/7.2.5
  not found
root module: ext2
  builtin dependency: ext4
root module: ext4
  builtin dependency: ext4
root module: tpm-crb
modprobe: FATAL: Module tpm-crb not found in directory /nix/store/p8fjbph6p0rii1cs8dibniifpys3w1rv-linux-7.2.5-modules/lib/modules/7.2.5
  not found
root module: tpm-tis
modprobe: FATAL: Module tpm-tis not found in directory /nix/store/p8fjbph6p0rii1cs8dibniifpys3w1rv-linux-7.2.5-modules/lib/modules/7.2.5
  not found
root module: nls_cp437
  builtin dependency: nls_cp437
root module: nls_iso8859-1
  builtin dependency: nls_iso8859_1
root module: panel_generic_dsi
  copying dependency: /nix/store/p8fjbph6p0rii1cs8dibniifpys3w1rv-linux-7.2.5-modules/lib/modules/7.2.5/extra/panel-generic-dsi.ko
root module: phy_rockchip_inno_dsidphy
  builtin dependency: phy_rockchip_inno_dsidphy
root module: rockchipdrm
  builtin dependency: rockchipdrm
root module: vfat
  builtin dependency: vfat
lib/firmware/edid not found, skipping.