I am having the same problems.
I have tried two different installs, the 32bit and the amd64 install.
I found other websites that add code to hal and modprobeto get the proper driver to load.
Novatel USB760 - FedoraForum.org
Once the aircard is inserted you have to eject the mass storage device to get the usbserial to work.
I insert the aircard do a dmesg | tail to see what gets loaded (usually sg7), then I do eject /dev/sg7.
Then if you do a lsusb you should get the correct id for the modem. Butt thats as far as I get because it doesn't look like it loads the usbserial module for it.