Maintenance du serveur Gitlab le 16-17 novembre. Prévoir une indisponibilité du service sur cette période.
stm32f20xxx: add BOARD_DISABLE_USBOTG_HSULPI flag Approved-by: Gregory Nutt