Das Problem wird dort leider nicht besprochen.
Zwar werden mehrere IRQs auf die gleiche ISR abgebildet (wie auch immer), aber dort ist es nicht möglich zu unterscheiden, welche IRQ getriggert wurde.