ISR: add RIOT specific code to ISR handlers