Ich habs auch schon runtergestrickt, bei der die ISR nur noch eine LED toggelte ==> dasselbe Resultat, die Software ist es nicht.
Bevor der nächste Int-IRQ kommt, ist der Timerinterrupt schon lange wieder ausgeschaltet.