How to I get to use the RTC on STM32F4? I can see in the device code that it is supported. But it doesnt show up in the managed libraries.