Thanks for the suggestions. Yes, the update files were extracted and we tried safe mode. We eventually got it to work by following directions from this thread:
https://decibel.ni.com/content/message/91743#91743
We imaged it with our Classmate over ethernet, and setting a manual ip (169.254.11.11) for the classmate.