The intel-*.nix modules are obsolete (since you can just say ‘hardware.enableAllFirmware = true’, or equivalently, ‘hardware.firmware = [ pkgs.firmwareLinuxNonfree ]’). But we'll keep them around for compatibility.
It should go to the livecd, added to the all-hardware profile. Yes, the card is called 2230, the ucode called 2030: http://wireless.kernel.org/en/users/Drivers/iwlwifi