I've found another error in rte_device.h for SMT32F4 family. It is related to USB_HS controller, ULPI interface. ULPI_NXT pin can be assigned to PC3 or PH4. In current RTE_device.h it can be (wrongly) assigned to PC2 instead of PC3, so if anyone uses it - beware.
regards
Dejan