Blind fix of raspberry halt due to unhandled int

Following this 
http://www.raspberrypi.org/phpBB3/viewtopic.php?f=28&t=23544&sid=5e54cf47d02ac7f344957b19d4f944b2&start=132
(first message should come up as by spiliot, 6th page)

I blind edited the int handler to do something with the interrupt instead of just exiting. This now works in my case without any implications.

The first time I send something to /dev/usb/lp0 (debug enabled) I get a 
usblp0: nonzero read bulk status received: -5 
which probably explains why the dwc_otg driver was entering the INT loop in the first place, but I lack the knowledge to pursue this further.