Correct some wrong interrupt vectors that never caused trouble because they were never called.
This closes issue #243 by adding handlers for four previously unhandled system level interrupts, one of which wasn't enabled, but is now.
Fix a couple of subtly incorrect casts pointed out by nostar in IRC, thanks nostar! :-)