DUE problem with micros() inside interrupts

submitted as a new issue: