removed unused reference to threadmgr in the exception handler; hexadecimal interrupt number and error code