extraModprobeConfig could be applied too late i.e. if the driver has been loaded in initrd, while the harddrive is still encrypted. Using a kernelParams works in all cases however.
*** NixOS *** NixOS is a Linux distribution based on the purely functional package management system Nix. More information can be found at http://nixos.org/nixos and in the manual in doc/manual.