Teensy4.0 and _disable_irq in the core code

[Kartman]

Further to the USB device, the USB host has similar issues with __disable(irq).