My project is rather timing conscious and my isr gets delayed by around 100ns at random times when sending data via the usb serial connection. Upon some investigation, it seems interrupts are disabled in a number of places in the usb.c code. Is is advisable to change _disable_irq() and _enable_irq() to NVIC_DISABLE/ENABLE_IRQ(IRQ_USB1)?