On the plus side - there is now a patch available to Star Wars Pinball on Nintendo 3DS that should resolve the crashing issues.

— Zen Studios (@zen_studios) October 18, 2013