Thanks! I had found these on the Cisco site as well but had not had a chance to post my success with them. The unload/load commands did the trick:
sudo kextunload /System/Library/Extensions/CiscoVPN.kext
sudo kextload /System/Library/Extensions/CiscoVPN.kext