Плюс, не забывайте что при чтении регистров по JTAG, если в регистрах есть сбрасывающиеся по чтению биты, то они сбрасываются.
Т.е. при пошаговой отладке с просмотром всевозможных флагов прерываний легко эти самые прерывания потерять.
У некоторых производителей бывают специальные теневые регистры для чтения из отладчиков (да и не только). Филипс этим не озадачился.