Hardened profile and kernal modules

1

I’m using hardened profile on my laptop. A main problem is that it can’t load kernal modules after boot so that I have to specify all needed modules. Currently I have

supportedFilesystems = [ "btrfs" "ntfs" ];
kernelModules = [
      # with hardened profile
      "ccm" # for encrypted wifi
      "uas" # for USB storage
    ];

What should I do to read ext4 disks? Should I add it to supportedFilesystems or kernelModules? Thanks!