cpu/stm32f4: added random number generator driver