Maintenance du serveur Gitlab le 16-17 novembre. Prévoir une indisponibilité du service sur cette période.
efm32, lcp43, stm32, stm32l4: disable interrupts with NVIC_IRQ_CLEAR