CheckExceptions: add TODO and remove a wrong comment
Merge pull request #378 from delroth/interrupts-comments

CheckExceptions: add TODO and remove a wrong comment