Fix interrupt masking on Arduino Due