Arduino Due and ultrasonic sensor with timer interrupts